Add Kleisli composition for monad actions