[hocuspocus]

Most monadic effects aren't executing side effects.

[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.