Currently, this module requires `RevertableProperty t t`. That can be annoying, it would be good to support at least `RevertablePropery (HasInfo + t) t` and ideally all `RevertableProperty t1 t2` There should be no reason that can't be done; I was just having problems getting the type checker happy on the day I wrote it. --[[Joey]]