haskellの評価過程は項置き換えモデルで表現できる。
square (1 + 3) -> (1 + 3) * (1 + 3) -> 4 * 4 -> 16
haskellの評価方法
最外簡約:一番外側の項の簡約規則を適用
グラフ簡約:同じように表示された項は一度だけ簡約
※参照透明性が確保されているから可能?