backward-state (hackage): A state monad that runs the state in reverse through the computation
Keywords: bsd3|control|library|monads