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

V>Извини, коллега, но у тебя полная каша в голове — ты же смотришь тип результата, а не тип контруктора. Вот в HUGS:

V>

Main>> :t Three
V>Three :: a -> MyNum a
V>

Объясни мне какое значение имеют сигнатуры конструкторов в контексте нашего обсуждения.
Важны типы значения, которые они конструируют.
Мой поинт в том, что конструкторы конструируют значения одного типа.
Ты с этим согласен?

EC>>А то тип вроде один, а ты говоришь оприведении. К какому типу мы приводим, если он один?

V>Там я тебе ссылку дал в предыдущем сообщении. Не хочешь пройтись по ней?
Я в курсе что такое размеченное объединение.