Kleisli

data

k

Coyoneda