Proposal: Adding Kleisli composition to Control.Monad

[Malcolm Wallace]

dons at cse.unsw.edu.au (Donald Bruce Stewart) wrote:

> > Add Kleisli composition to Control.Monad.
> > 
> >     (>=>) :: (Monad m) => (a -> m b) -> (b -> m c) -> (a -> m c)
> >     (<=<) :: (Monad m) => (b -> m c) -> (a -> m b) -> (a -> m c)
> 
> Does anyone have an opinion about these guys? :)

No.  :-)  I've never used them, nor wanted to, so I have no opinion.
I can see the nice compositional pattern they embody though.

Regards,
    Malcolm