停止しない関数って本当に純粋な関数なのか？
無限ループは副作用じゃないか
同じ引数で結果が2通り以上になるのは副作用
なら0通りも副作用ではないか