Kleisli
data