Wyprowadź zamówienie z ograniczeniami ilościowymi (dla wszystkich a. Zamówienie a => Zamówienie (fa))
Dzięki ograniczeniom ilościowym mogę dobrze wyprowadzić Eq (A f)? Jednak gdy próbuję wyliczyć Ord (A f), to się nie udaje. Nie rozumiem, jak stosować ograniczenia ilościowe, gdy klasa ograniczeń ma nadklasę. Jak uzyskać Ord (A f)i inne klasy, które mają nadklasy? > newtype A f = A (f Int) >...