IOモナドについても、副作用には何ら関与していない
「モナドが副作用を実現する」というのは、配列の各要素をプリントするプログラムをみて、「for文で画面に出力している」と言っているようなもの