Type alias Append<A, NK, B>

Append<A, NK, B>: A & {
    readonly [K in keyof A | NK]: K extends keyof A
        ? A[K]
        : B
}