С количественными ограничениями я могу нормально вывести Eq (A f) ? Однако, когда я пытаюсь вывести Ord (A f), это не удается. Я не понимаю, как использовать количественные ограничения, когда класс ограничений имеет суперкласс. Как получить Ord...

У меня есть связанное семейство типов Bar в классе типов Foo . Foo' требует Bar f ~ Bar (f a) для всех a , но в другой функции test получаю ошибку Couldn't match type 'Bar f' with 'Bar (f a)' , хотя она зависит от Foo' f . Код: {-#...