interface Bifunctor f where
bimap : (a -> c) -> (b -> d) -> f a b -> f c d
first : (a -> c) -> f a b -> f c b
second : (b -> d) -> f a b -> f a dPréludeChargé par défaut — aucun
import nécessaire.import nécessaire.interface Bifunctor f where
bimap : (a -> c) -> (b -> d) -> f a b -> f c d
first : (a -> c) -> f a b -> f c b
second : (b -> d) -> f a b -> f a d