Control.Quiver

data P a' a b b' f r

type SP a b f r

type Consumer a' a f r

type Producer b b' f r

type Effect f r

consume

produce

enclose

deliver

decouple

deplete

fetch

fetch'

emit

emit'

emit_

qlift

qpure

qpure_

qid

qconcat

qconcat_

runEffect

(>>->)

(>->>)