TYPES -> SETS

Summary from the TLDR Web Dev newsletter

You can think about TypeScript's type system as a functional programming language that operates over sets of values. By imagining types as sets of all possible values they can construct, it becomes easier to reason about features like intersections, unions, and type mappings.