polykinds

12зной

2ответ

Могу ли я реализовать этот новый тип как состав других типов?

Я написал NewType Const3, что очень похоже на Const, но содержит первые из трех приведенных аргументов типа: newtype Const3 a b c = Const3 { getConst3 :: a } я могу определить очень много полезных п