>>843
Stream fusionはそういう形だけど、一般にはもうちょっと広いと思う

[構築1] --(中間データ)--> [分解1]

を、

[構築1+分解1]

のように、中間データを生成しないコードに変形する