Documentation
newtype Kleisli4 m1 m2 m3 m4 a b Source
Instances
(Monad m1, Monad m2, Commutative m2, Monad m3, Commutative m3, Monad m4, Commutative m4) => Category * (Kleisli4 m1 m2 m3 m4) Source | |
(Monad m1, Monad m2, Commutative m2, Monad m3, Commutative m3, Monad m4, Commutative m4) => Arrow (Kleisli4 m1 m2 m3 m4) Source | |
newtype Kleisli5 m1 m2 m3 m4 m5 a b Source
Instances
(Monad m1, Monad m2, Commutative m2, Monad m3, Commutative m3, Monad m4, Commutative m4, Monad m5, Commutative m5) => Category * (Kleisli5 m1 m2 m3 m4 m5) Source | |
(Monad m1, Monad m2, Commutative m2, Monad m3, Commutative m3, Monad m4, Commutative m4, Monad m5, Commutative m5) => Arrow (Kleisli5 m1 m2 m3 m4 m5) Source | |