type Patch = ReplaceAllPatch | ReplaceAtPatch;