Control.Quiver.Internal

data P a' a b' b f r

type Producer b' b f r

type Consumer a' a f r

type Effect f r

consume

produce

enclose

deliver

decouple

deplete