While in a lazy language, l' = if h then i else j (i) or (j) would be evaluated, but never both.
Zatímco jazyk s odloženým vyhodnocováním bude při vyhodnocování l' = if h then i else j vyhodnocovat parametry (i) nebo (j), ale nikdy ne oba.