じゃあ、参照透明性の無いHaskell に相当する言語を作ったらいいんじゃね。