以下の二つが大きいそうだ
・相等性についての議論が楽になる(単純に置換するだけでOK)．
・制御構造を自分で設計できる．
　cond p x y | p         = x
　           | otherwise = y           
　recip x = cond (x == 0) 0 (1/x)
　は正格なら recip 0 = bot, 非正格なら recip 0 = 0．