Given homomorphic mapping over a tuple, what is `T`?

type Wrap<O> = { [K in keyof O]: [O[K]] }; type T = Wrap<[string, number]>;