Monad axioms: Kleisli composition forms a category.
Monad axioms:
Kleisli composition forms
a category.