Monad.Trans
Control.Monad.*
Reader
usingReader
usingReaderT
State
evaluatingState
evaluatingStateT
executingState
executingStateT
usingState
usingStateT