Control.Monad.State.UnificationExtras
Additional functions for MTL
liftReader
liftReaderT
modify'
localState