В зависимости от трактовки. Можно просто положить Nothing одним из значений типа Maybe a.
я думал, что тут про КТ, а не про типы-как-множества
Я про множества ничего не говорил. Ну хорошо, пусть будет начальная алгебра для какбе константного полиномиального функтора Fa X = 1+a, параметризованная типами теории. Тогда, мы должны рассматривать морфизмы этих алгебр, и конкретно, морфизмы из начального объекта в этой категории алгебр, т.е., катаморфизмы.
Обсуждают сегодня