Return corresponded input type by name as string (string template literal)

Question

type GenerateArrayKeyType = `${T}.${K}`;

type PathImpl =
  Key extends string
  ? T[Key] ext