1
Deriva Ord con vincoli quantificati (forall a. Ord a => Ord (fa))
Con vincoli quantificati posso derivare Eq (A f)bene? Tuttavia, quando provo a derivare Ord (A f), fallisce. Non capisco come usare vincoli quantificati quando la classe di vincolo ha una superclasse. Come posso derivare Ord (A f)e altre classi che hanno superclassi? > newtype A f = A (f Int) …