Proposal: Adding Kleisli composition to Control.Monad

Ashley Yakeley ashley at
Mon Nov 13 20:41:14 EST 2006

Taral wrote:

> Actually, my tests indicate that (>>>) and (<<<) can be used for any
> Monad. So are we defining these again?

Yes, the Kleisli type "Kleisli a b = a -> m b" is an Arrow. No, it's not 
  the same, since "a -> m b" is not an Arrow on a and b (it's not of the 
form "arrow a b").

Ashley Yakeley

More information about the Libraries mailing list