Utilisation de foncteurs/applicatifs sur des types de données personnalisés avec plusieurs classes de types?

Question

Considérons un type d'utilisateur avec deux paramètres, a et b. De toute évidence, ce qui permet à l'utilisateur d'être composé de deux types différents:

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

Comment pouvons-nous déclarer foncteurs qu'applicatif pour cette instance?

J'ai essayé ces approches ne compilera pas:

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) 

Quelle est la raison pour laquelle ils ne seront pas compiler?

Answer 1

Jetez un oeil à Data.Bifunctor pour une classe de type pour ADT qui sont fonctorial dans les deux arguments. User est alors juste un nom fantaisie pour tuple, et cela supporte déjà une telle instance. Déduire une instance de bifonctor est possible dans Haskell. @Bakuriu suggère de définir User comme newtype et d'utiliser l'extension GeneralizedNewtypeDeriving. Pour le second, voir Biapplicative. Comme prévu, son instance pour (,) est:

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