>>106
それは分かってる。
その意見には俺も全面的に賛成だよ。

ただ、やろうと思えばできてしまうんだよ。
例えばコマンドラインパーサーの CmdArgs パッケージでは unsafePerfirmIO が使われてる。
(なかなか使い勝手が良いライブラリなのに玉に瑕で残念)

だから、参照透明が保たれているという前提で補完機能を作るわけにはいかない。