1. Start by doing everything in ReaderT Env IO
2. Learn all about mtl (or monad transformers, free monads, freer monads, algebraic effects, whatever)
3. Do everything in ReaderT Env IO