Lifting MonadState and MonadReader