That’s been clearly disproven for like a decade… you just need to have your effect monad structure be indexed by the set of symbols in question! Especially since the effects are baked into the language. The transformers formulation is only relevant for userland defined semantics!

It doesn’t matter if the monadic structure is there in user syntax, it’s there in the semantics.