結局、Haskellは非正格言語なのが問題じゃない？
実際に各項が何時評価されるか？どういう順番で評価されるか？
ということが予測しづらい(できない)からねー。

その点、正格言語や手続き型言語は評価の順序が一目瞭然だからねー。

Prologにカットオペレータがあるように、Haskellも競争書き込みで
評価の順序を、ある程度コントロールできる様にしたらよいのかな？