Type Alias Split<T, S>

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