Shortcut fusion for pipes

Rewrite rules are a powerful tool that you can use to optimize Haskell code without breaking backwards compatibility. This post will illustrate how I use rewrite rules to implement a form of shortcut fusion for my pipes stream programming library. I compare pipes performance before and after adding shortcut fusion and I also compare the peformance of pipes-4.0.2 vs. conduit-1.0.10 and io-streams-1

[ruicc]

rewrite rulesでは型チェックまではしてくれるけど正しさは保証してくれない。そしてpipesではその部分の証明全部やったよと、まじか。