Derive Ord con restricciones cuantificadas (para a. Ord a => Ord (fa))
¿Con restricciones cuantificadas puedo derivar Eq (A f)bien? Sin embargo, cuando intento derivar Ord (A f) falla. No entiendo cómo usar restricciones cuantificadas cuando la clase de restricción tiene una superclase. ¿Cómo obtengo Ord (A f)y otras clases que tienen superclases? > newtype A f =...