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