Fusion について質問。

計算の中で、次のように同じ代数データ型の [分解] と [構築] の組が続けて起こる場合に、

[引数投入] ---> [分解 1] ---> [構築 1] ---> [分解 2] ---> [構築 2] ---> [結果取得]

これを次のように中間の無駄な [構築] ---> [分解] を排除する

[引数投入] ---> [分解 1] ---> [構築 2] ---> [結果取得]

これが Fusion だという認識で合ってる？ (その方法は手計算とかコンパイラ最適化とか色々あるが)
それとも、Fusion は Fusion でも、Stream Fusion の事？