I wonder if with a feature like typed algebraic effects one might be able to capture all of the undo/redo logic in an effect handler and make such a system feasibly implementable.