Derivar Ord com restrições quantificadas (em geral a. Ord a => Ord (fa))
Com restrições quantificadas, posso derivar Eq (A f)muito bem? No entanto, quando tento derivar Ord (A f), ele falha. Eu não entendo como usar restrições quantificadas quando a classe de restrição tem uma superclasse. Como derivar Ord (A f)e outras classes que têm superclasses? > newtype A f =...