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 >