1
Вивести Ord з кількісно обмеженими обмеженнями (для a. Ord a => Ord (fa))
З кількісно вираженими обмеженнями я можу вийти Eq (A f)просто добре? Однак, коли я намагаюся отримати Ord (A f), це не вдається. Я не розумію, як використовувати кількісні обмеження, коли клас обмеження має надклас. Як вивести Ord (A f)та інші класи, які мають суперкласи? > newtype A f = A …