Я создал модель данных сущности и сгенерировал из нее базу данных. Одна из сущностей называется Template . Созданные частичные классы для расширения функциональности Template отлично работают. Если я создаю новый класс и пытаюсь...

У меня есть класс типов Cyclic , для которого я хотел бы предоставить общие экземпляры. class Cyclic g where gen :: g rot :: g -> g ord :: g -> Int Учитывая тип суммы нульарных конструкторов, data T3 = A | B | C...

С использованием: {-# LANGUAGE GADTs #-}...