>>903
IOモナドだと、
f x = 何か >>= f x'
の形の再帰は末尾再帰になってスタックを消費しない