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