The Curious Time-Traveling Reverse State Monad

Anatomy of a Haskell-Based Application, Revisited