t-swap

type Result = Swap<{ a: 1, b: 1, c: 1 }, { a: 2, b: 2, z: 2 }> // { a: 2, b: 2, c: 1 }