Re: Proposal: Adding Kleisli composition to Control.Monad

On 11/14/06, Taral wrote:

On 11/13/06, Donald Bruce Stewart wrote:

...

Do you mean that we should just import Control.Arrow and use that?

Why not?

Well, it doesn't do the same thing, for starters... @type runState (((\x -> return (x+1)) >>> (\y -> return (y*2))) 3) () <lambdabot> forall b (m :: * -> *). (Monad m, Num (m b), Num b) => (m b, ()) Does that look like Kleisli composition to you? It doesn't look like Kleisli composition to me... I think you are getting confused by the Arrow (->) instance, probably...