Re: Proposal: Adding Kleisli composition to Control.Monad

dons:

...

http://hackage.haskell.org/trac/ghc/ticket/997

Add Kleisli composition to Control.Monad.

Kleisli composition of monads is a foundational feature missing from the current Control.Monad library. A recent discussion revealed solid support for its inclusion.

This patch adds:

(>=>) :: (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? :)

Wee need the functions, no matter which names. That said, I still like (=>>=) and (=<<=) better, but I'm not strongly opposed to the proposed names --- it's just that they sort of look like they might be more closely related with Ord than with Monad. Wolfram