複数の型クラスを持つカスタムデータ型でファンクション/アプリケーションを使用しますか？

Question

aとbの2つのパラメータを持つユーザー型を考えてみましょう。明らかに、これは、ユーザーが2つの異なる種類で構成することができます

data Users a b = User a b deriving (Show, Eq, Ord) 

はどのように我々は、このインスタンスのファンクタと応用的に宣言することができますか？

私はこれらのアプローチはコンパイルされません試した：

instance Functor Users where 
    fmap f(User a b) = User (f a) (f b) 

instance Applicative Users where 
    pure a b = User a b 
    (<*>) User a b = (fmap a) (fmap b) 

これらはコンパイルされません理由は何ですか？

Answer 1

両方の引数でfunctorialであるADTの型クラスについては、Data.Bifunctorを見てください。 Userはタプルの名前であり、すでにこのようなインスタンスをサポートしています。 bifunctorインスタンスを導出することはHaskellでも可能です。

@Bakuriuは、Userをnewtypeと定義し、拡張子を使用してGeneralizedNewtypeDerivingと示唆しています。

第2のものについては、Biapplicativeを参照してください。

instance Biapplicative (,) where 
    pure = (,) 
    ap (f, g) (a, b) = (f a, g b)