lazyな引数が渡された場合、
その関数内で（引数が）最初に評価される式が現れるまで、評価はされない。

というだけの話を、何でややこしく書くんだろう。