いちおうMaybeモナドすげEEEEEEってのはわかったつもりなんだけどさ

モナド使うとなんでIOの副作用が分離されるの ?
IOってところに環境のいろんなところが入っているから
それをひきずり回しているからIOじゃないところは純粋であるって説明
どっかで読んだんだけど、具体的にはどうやってるの ?

おしえてキボンヌ