Where

type Where<T, U> = { [K in StringKeyOf<T> & KeysWhere<T, U>]: T[K] };