Fixed the Kleisli composition section