Re: Adding more instances to Kleisli: Generic, Monad, etc

7 Apr 2019

      Any +1/-1s?

2019年4月2日(火) 13:30 Fumiaki Kinoshita :
...
This is another part of
https://gitlab.haskell.org/ghc/ghc/merge_requests/644, 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)