pub type RefSuccessor<'a, T> = Successor<T, &'a T>;
A successor that only stores a reference to the successor state if continuing.