>>890 ackermann は遅延評価しても意味ないから haskell でも変わらんよ