Type Algebra and You, Part 3: Combinatorial Types
Type Algebra and You, Part 2: A Fixer-upper
Type Algebra and You, Part 1: Basics