Type Alias ANotB<A, B>

ANotB: IsEqual<A, B> extends true
    ? never
    : IsDisjoint<A, B> extends true
        ? A
        : { [k in Exclude<keyof A, keyof B> | KeysWithDiffType<A, B>]: A[k] }