Functional composition with Monads, Kleislis and Functors