[lmm]

On the contrary, every monadic effect is a side effect. It's just that what exactly that means is specific to the monad in question.