The Unreasonable Effectiveness of Constructive Data Modeling - Alexis King | SSW 2026 https://www.youtube.com/watch?v=0BXuYlNrUmE 1. Think positive space, not negative space. 2. Decouple representation from interpretation. 3. Pick the simplest representation that allows writing `panic("this souldn't happen")` as later as possible Type system is for **keeping track of the cases to handle**. A type system is an obligation propagation machine.