3 ms·Unification, etc, is one of the good use cases of the so-called Tardis monad.by anon291 2y agoUnification, etc, is one of the good use cases of the so-called Tardis monad.