Haskell は純粋関数型で、副作用が排除されてるから融合変換はかなり豪快に出来るって聞いた。
ただ細かな部分での最適化はそれほどでもないみたい?