Re: Proposal: Adding Kleisli composition to Control.Monad

dons@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