1
数量化された制約を使用してOrdを派生させる（すべてa。Ord a => Ord（fa））
定量化された制約を使用してEq (A f)、うまく導出できますか？ただし、Ord（A f）を導出しようとすると失敗します。制約クラスにスーパークラスがある場合、数量化された制約の使用方法がわかりません。Ord (A f)スーパークラスを持つ他のクラスをどのように派生させるのですか？ > newtype A f = A (f Int) > deriving instance (forall a. Eq a => Eq (f a)) => Eq (A f) > deriving instance (forall a. Ord a => Ord (f a)) => Ord (A f) <interactive>:3:1: error: • Could not deduce …