type DeepKeysWhereValueIncludes<TData, TValue> = DeepKeysAndValues<TData> extends infer TDeepKeyAndValue ? TDeepKeyAndValue extends AnyDeepKeyAndValue ? Extract<NonNullable<TDeepKeyAndValue["value"]>, TValue> extends never ? never : TDeepKeyAndValue["key"] : never : never;