I realize I didn't mention monad transformers at all in my original post, I only linked to them! I should have mentioned that, as you say, monad transformers s

I realize I didn't mention monad transformers at all in my original post, I only linked to them! I should have mentioned that, as you say, monad transformers should be the default effect system choice for 99% of people