I wish that's what people did, some codebases I've seen are messes of monad transformer stacks the likes of which you've never seen.

I mean, what if you want to do IO and have mutable data structures inside a do block? I'm afraid I'm going to have to prescribe you a monad transformer. Be careful of the side effects.