14 Nov
2006
14 Nov
'06
1:41 a.m.
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