Add support for Kleisli composition