いえ、ニュアンスは伝わってますよ。
おかげさまで、遅延評価とHaskell の関わりが解りました。

全域が参照透過だからこそ、遅延評価をデフォルトにできたんすね。

圏論の枠組みで値を扱いたい
↓
Moggi「モナドあれ」
↓
入出力含む全てを参照透過にできた → コンパイラが攻撃的になれるので動作速度も上がった
↓
遅延評価をデフォルトにできた → モジュール性上がった