Я пытаюсь написать код на Haskell, в котором есть несколько типов данных, каждый из которых может иметь несколько реализаций. Для этого я определяю каждый тип данных как класс, методы которого являются...