ほんとに必要になるまで、計算しないこと。
((function x -> 0) (1 / 0)) + 1
みたいな式は lazy だと、(1 / 0)の計算が必要とならないから、計算されず
エラーにならない。(MLは lazy じゃないから、エラーになる。)