Type Alias Where<T, S>

Where:
    | never
    | {
        -readonly [K in keyof T as T[K] extends S | undefined ? K : never]: T[K]
    }