意味論では非決定的と定義されているが実際の処理系では上から順に評価される、ならまだしも、
Haskellでは意味論で上から順に評価されると定義されているんだから構文糖衣そのものだろ。