Should I use ReaderT with StateT or just the StateT monad?

Question

I have a following data type:

data CheckState = CheckState { envs :: [Env]
                             , curPos :: SrcSpan
                             , inLoop