Proposal: Adding Kleisli composition to Control.Monad

[kahl at cas.mcmaster.ca]

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