Type Alias ANotB<A, B>

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