Given the definition,
-- | Left-to-right Kleisli composition of monads.
The monad laws can be written as
return >=> g == g
So, functions of type a -> m b are the arrows of a category with (>=>) as composition, and return as identity.
Category Theory >
The Kleisli Categoryposted Mar 11, 2009, 9:30 PM by Wei Hu