Type alias Split<T, S>

Split<T, S>: {
    [k in keyof S]-?: S[k] extends undefined
        ? T[k]
        : NonNullable<T[k]> | Exclude<S[k], undefined>
}