I have a use case similar to the following:
type StringKeysOf = [{ [K in keyof T]-?: T[K] extends string ? K :