タイプファミリー：ペアデータタイプファミリーのBifunctorをインスタンス化する方法は？

Question

データ型ファミリを使用してコンストラクタを隠す方法を理解しようとしています。与えられた簡単な例は、通常のペアなどから変換する操作を持つペアです。 bifunctorのインスタンスはコンパイルされません。エラーメッセージが

src/TypeFamilyTest.hs:66:21です： Bifunctorの最初の引数は一種* -> * -> *、 を持っていますが、Bifunctor (Pairs a b)、私は別の取得Bifunctor Pair where ...をしようと

ためのインスタンス宣言では一種ghc-prim-0.4.0.0:GHC.Prim.Constraint

をPairs a bている必要がありますエラーメッセージには同じGHC.Prim.Constraintが記載されています。インスタンスの正しい引数は何ですか？また、コンテキストはどのように渡されますか？

class Pairs a b where 
    data Vec2 a b 

    mkPair :: (a,b) -> Vec2 a b -- (FirstF a, SecondF a) -> a 
    splitPair :: Vec2 a b -> (a,b) 
    fstP :: Vec2 a b -> a 
    sndP :: Vec2 a b -> b 
    fstP = fst . splitPair 
    sndP = snd . splitPair 

instance () => Bifunctor (Pairs a b) where 
    bimap opv oph vh = mkPair (opv . fstP $ vh, oph . sndP $ vh) 

Answer 1

タイプエラーはあなたにすべてを伝えます。 Pairはデータ型の名前ではありません。それはクラスの名前です。 Pair a b :: ConstraintだからPair :: * -> * -> Constraint。 Bifunctorは、種類が* -> * -> *のデータ型でのみインスタンス化できます。

することは、私はあなたがこのような何かを意味している可能性が推測している：あなたはもともとVec2関連するタイプを作った理由

newtype Pair a b = Vec2 { splitPair :: (a, b) } 

fstP :: Pair a b -> a 
fstP = fst . splitPair 

sndP :: Pair a b -> b 
sndP = snd . splitPair 

instance Bifunctor Pair where 
    bimap f g (Vec2 (x, y)) = Vec2 (f x, g y) 

は、私は理解していません。私はこれがXY problemかもしれないと思う - あなたは本当に達成しようとしていますか？