Type Alias OnlyOneOf<T, U>

OnlyOneOf:
    | { [P in keyof T]: T[P] } & { [P in keyof U]?: never }
    | { [P in keyof U]: U[P] } & { [P in keyof T]?: never }