分岐を関数で表現するのは難しくない。
T（x,y）=x
F（x,y）=y
IF（c,x,y）=c（x,y）
最後のは糖衣構文で、cはTかFが入る。

問題はこれを先行評価すると、
xの評価、yの評価、どっちかの選択と
進行してしまい、無駄な評価またはやっては
ならない評価をしてしまうことになる。

遅延評価では必要になるまで引数は評価されず、
c（x,y）にはxかyの一方しか含まれないので、
上記の問題は起こらない。