外側の関数適用から、引数を式のままパラメータに置換するが、一度評価した式は、結果を覚えておいて二度評価しない

同じ変数から束縛された項はポインタによって共有され，

一度簡約された項をもう一度使用する場合には最初の計算によってキャッシュされた解を利用する

事実上、抽象構文木ではなく抽象構文グラフ上での簡約関係である -- 

Haskellでそれを実感できるような例はある？