Type Alias Join<A, B>

Join: {
    [K in keyof A | keyof B]: K extends keyof A
        ? K extends keyof B ? A[K] | B[K] : A[K]
        : K extends keyof B ? B[K] : never
}