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

V>Это просто легализация DTO.

Нет. Это легализация алгебраических типов.

Блин, сначала дал ссылку на русскую Википедию, но там в корне не верное описание алгебраических типов! Какие-то неучи поставили знак раверства между алгебраическим типом и SUM-типом.