Questions marquées «quantified-constraints»

Avec des contraintes quantifiées, je peux dériver Eq (A f)très bien? Cependant, lorsque j'essaie de dériver Ord (A f), cela échoue. Je ne comprends pas comment utiliser des contraintes quantifiées lorsque la classe de contraintes a une superclasse. Comment puis-je dériver Ord (A f)et d'autres classes qui ont des superclasses? …

10 haskell  typeclass  derived-class  quantified-constraints