6.1. Creating Types from Types

6.2. Generics

6.3. Keyof Type Operator

6.4. Typeof Type Operator

6.5. Indexed Access Types

6.6. Conditional Types

6.7. Mapped Types

6.8. Template Literal Types