Proved: Equivalence of Monads and Kleisli triples.