1
Turunkan Ord dengan Batasan yang Dihitung (forall a. Ord a => Ord (fa))
Dengan batasan kuantitatif saya dapat memperoleh dengan Eq (A f)baik? Namun, ketika saya mencoba untuk menurunkan Ord (A f) gagal. Saya tidak mengerti bagaimana menggunakan batasan terkuantifikasi ketika kelas kendala memiliki superclass. Bagaimana cara mendapatkan Ord (A f)dan kelas lain yang memiliki kacamata super? > newtype A f = A …