Control.Pipe
data PipeF a b x
type Pipe a b
type Producer b
type Consumer b
type Pipeline
await
yield
pipe
(<+<)
(>+>)
idP
data PipeC m r a b
runPipe