added more ReaderT uses