haskellから遅延評価を排除したら何が残る?ラムダも破綻するだろ?