KeysWhereContravariant

type KeysWhereContravariant<T, U> = {
  [K in StringKeyOf<T>]: U extends T[K] ? K : never;
}[StringKeyOf<T>];