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 lớp. Làm thế nào để tôi lấy được Ord (A f)và các lớp khác có siêu lớp?

> 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 (Ord a)
        arising from the superclasses of an instance declaration
      from the context: forall a. Ord a => Ord (f a)
        bound by the instance declaration at <interactive>:3:1-61
      or from: Eq a bound by a quantified context at <interactive>:1:1
      Possible fix: add (Ord a) to the context of a quantified context
    • In the instance declaration for 'Ord (A f)'

Tái bút Tôi cũng đã kiểm tra các đề xuất ghc 0109 định lượng . Sử dụng ghc 8.6.5

Vấn đề là đó Eqlà một siêu lớp Ordvà ràng buộc (forall a. Ord a => Ord (f a))không đòi hỏi ràng buộc của siêu lớp Eq (A f)mà cần phải khai báo một Ord (A f)thể hiện.

• Chúng ta có (forall a. Ord a => Ord (f a))

• Chúng ta cần Eq (A f), tức là, (forall a. Eq a => Eq (f a))không được ngụ ý bởi những gì chúng ta có.

Giải pháp: thêm (forall a. Eq a => Eq (f a))vào Ordví dụ.

(Tôi thực sự không hiểu thông báo lỗi do GHC đưa ra liên quan đến vấn đề như thế nào.)

{-# LANGUAGE QuantifiedConstraints, StandaloneDeriving, UndecidableInstances, FlexibleContexts #-}

newtype A f = A (f Int)
deriving instance (forall a. Eq a => Eq (f a)) => Eq (A f)
deriving instance (forall a. Eq a => Eq (f a), forall a. Ord a => Ord (f a)) => Ord (A f)

Hoặc gọn gàng hơn một chút:

{-# LANGUAGE ConstraintKinds, RankNTypes, KindSignatures, QuantifiedConstraints, StandaloneDeriving, UndecidableInstances, FlexibleContexts #-}

import Data.Kind (Constraint)

type Eq1 f = (forall a. Eq a => Eq (f a) :: Constraint)
type Ord1 f = (forall a. Ord a => Ord (f a) :: Constraint)  -- I also wanted to put Eq1 in here but was getting some impredicativity errors...

-----

newtype A f = A (f Int)
deriving instance Eq1 f => Eq (A f)
deriving instance (Eq1 f, Ord1 f) => Ord (A f)