> This means you have to use monad transformers. I don't really understand monad transformers, therefore they are bad.
LOL we all start here.