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