Adding more instances to Kleisli: Generic, Monad, etc

Fumiaki Kinoshita fumiexcel at
Tue Apr 2 04:30:16 UTC 2019

This is another part of, which is presumably
much less controversial:

Generic (Kleisli m a b)
Functor m => Functor (Kleisli m a)
Applicative m => Applicative (Kleisli m a)
Alternative m => Alternative (Kleisli m a)
Monad m => Monad (Kleisli m a)
(Alternative m, Monad m) => MonadPlus (Kleisli m a)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Libraries mailing list