Adding more instances to Kleisli: Generic, Monad, etc

David Feuer david.feuer at
Tue Apr 2 04:44:34 UTC 2019

I think the MonadPlus instance should probably have a MonadPlus constraint,
since MonadPlus makes a sort of statement about the interaction between >>=
and mplus, even if it's a bit of an ambiguous one.

On Tue, Apr 2, 2019, 12:30 AM Fumiaki Kinoshita <fumiexcel at> wrote:

> 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)
> _______________________________________________
> Libraries mailing list
> Libraries at
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Libraries mailing list