Type Alias mergeTypes<A, B>

mergeTypes: {
    [k in keyof A | keyof B]: k extends keyof B
        ? B[k]
        : k extends keyof A ? A[k] : never
}