Reverse State monad transformer.

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

rev-state

Reverse State monad transformer.

(Import it qualified to avoid confusion.)