This type should also be spelled out, as we know the definition of the type. Same for `DiffDelta` and `DiffFile`