Haskellのモナドが意味無いものという結論が欲しいので、
副作用のある部分と無い部分をキッチリ分離できるというモナドの特性を否定するために、
副作用について議論をしたいと思います