代理 monad 變換器

pipes 的核心資料型別是 Proxy monad 變換器。Pipe，Producer，Consumer 等以 Proxy 定義。

由於 Proxy 是 monad 變換器，Pipes 的定義採用了 await 和 yield 值的 monadic 指令碼的形式，另外還執行了基礎 monad m 的效果。