kleisli
Rule