FP в scala Глава 5. Как работает следующее

Question

Я вижу следующий пример в главе 5 в FP в scala, чтобы ехать домой без строгости

   val x = Cons(() => expensive(x), tl)
   val h1 = x.headOption
   val h2 = x.headOption

, и я пытаюсь понять, как работает

val x = Cons(() => expensive(x), tl)? в частности, thunk () => expensive(x), если задан сам x?