ということはf (x + y)のような式をコンパイルしたら，
普通なら

1. x + yを行って結果をレジスタなどに格納するコード
2. fの呼び出しコード

になるところが，lazyだと

1. x + yという式を作るコード（メモリ確保してツリーを生成するコード？）
2. fの呼び出しコード

になるのだろうか．
余り嬉しくないような……．