おまえらはそもそも型を信じてない
だから、IO型が副作用でそれ以外は純粋、という定義を認めない
型チェックを信じられないならPythonとかを使えばいい
副作用の有無をチェックする必要もないだろ