added the Identity and Maybe monads and Kleisli triples