Theme:
  1. Basics
  2. Everyday Types
  3. Type Declarations
  4. Narrowing
  5. More on Functions
  6. Types from Extraction
  7. Types from Transformation
  8. Classes