rev-state

It's like the State monad transformer. But Reversed! The state goes backwards.