Я читал о создании наших собственных типов и классов типов из Learn You a Haskell for Great Good .Я...

Я пытаюсь написать что-то похожее на «типы ранга 2», но вместо этого для ограничений.(Или, может...

Я возился с общими классами типов для списков в Haskell. class HasEmpty a where empty :: a isEmpty...