Type Alias RequireExactlyOne<T>

RequireExactlyOne: {
    [K in keyof T]: { [P in K]: T[P] } & Partial<
        Record<Exclude<keyof T, K>, never>,
    >
}[keyof T]

Ensures that an object of type T has exactly one property defined. All other properties are disallowed (cannot exist).