Control.Proxy.Pipe
type Pipe a b
type Producer b
type Consumer a
type Pipeline
await
yield
pipe
(<+<)
(>+>)
idP
runPipe