1
Xuất phát Ord với các ràng buộc định lượng (forall a. Ord a => Ord (fa))
Với các ràng buộc định lượng tôi có thể rút ra Eq (A f)tốt không? Tuy nhiên, khi tôi cố gắng lấy Ord (A f) thì thất bại. Tôi không hiểu làm thế nào để sử dụng các ràng buộc được định lượng khi lớp ràng buộc có một siêu …