Здравствуйте, ·, Вы писали:

·>Сабж же, как раз и спрашивают как типы сделать различными.

Так вот именно. И для того, чтобы сделать типы различными, совсем не обязательно урезать список доступных операций. И получившиеся различные типы вполне могут быть подтипами одного типа без нарушения принципа подстановки Лисков. Это полностью отдельная задача.

Я не говорю, что твое решение плохое. Просто аргументация у тебя ни в дугу. А поначалу и вовсе никакой аргументации не было. Вроде царский указ зачитал.