Kleisli

data

k

Coyoneda

knot

Streaming