Proposal: Adding Kleisli composition to Control.Monad

[Donald Bruce Stewart]

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

-- Don