Implemented the Kleisli composition.