>>844
こういうこと？

f :: データA -> データB
g :: データB -> データC

という関数に対する g (f データA) という計算で、
途中の「f によってデータBを作る部分」と「g によってデータBを消費する部分」を取り除き、
データAを消費して直接データCを作る。

これが Fusion で、これをストリームに対して行うのが Stream Fusion？