Control.Quiver

data Q a' a b' b f c

consume

produce

enclose

deliver

decouple

evacuate

fetch

fetch'

emit

emit'

emit_

liftQ

(>>->)

(>->>)