我可以在Typescript中提取一个类型的嵌套结构来声明一个新类型吗？

type Person = {
  name: string;
  age: number;
  address: {
    street: string;
    city: string;
  };
};

type Address = Person['address']; // 提取出address属性的类型

// Address类型为：
// {
//   street: string;
//   city: string;
// }

type NestedType = {
  prop1: {
    prop2: {
      prop3: string;
    };
  };
};

type Extracted = NestedType extends infer T ? T : never; // 提取出NestedType的嵌套结构

// Extracted类型为：
// {
//   prop2: {
//     prop3: string;
//   };
// }