kleisli composition and examples