Я изучаю Haskell, и меня попросили выполнить это упражнение: Реализация нового типа данных с именем...

Семейство Contravariant классов типов представляет стандартные и фундаментальные абстракции в...