Re: Speaking of small functions

trevion:

I've found myself using this quite a bit, actually; I strongly support its addition to the Prelude or Control.Monad.

/g

On 10/28/06, Cale Gibbard wrote:

...

Speaking of small functions, Kleisli composition should at least be in Control.Monad. It's a simple thing, and not commonly explicitly used at the moment, but rather important conceptually.

(@@) :: (Monad m) => (b -> m c) -> (a -> m b) -> (a -> m c) g @@ f = \x -> f x >>= g

This does seem useful. However, the only way to make this actually happen is to submit a patch following this process: http://haskell.org/haskellwiki/Library_submissions otherwise, we'll just be about which colour we prefer for the bikeshed. I.e. * darcs patch * haddock comments * trac entry -- Don