Control.Quiver

data P a a' b 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_

qlift

qhoist

qembed

qpure

qid

qconcat

qtraverse

runEffect

(>>->)

(>->>)

(+>>->)

(>>->+)

(+>->>)

(>->>+)

(>&>)

qcompose