7.4 类型工具：keyof、typeof、内置工具类型全解（Partial/Required/Pick/Omit等）

6.2 类型系统：原始类型 vs 对象类型、typeof/instanceof、隐式转换、Symbol、BigInt

原始类型 vs 对象类型、typeof/instanceof、隐式转换、Symbol、BigInt

7.9 类型体操与模式：HKT、类型级编程挑战、类型驱动开发（TDD）

HKT、类型级编程挑战、类型驱动开发（TDD）