Lesson 3 of 9 · 25m

Discriminated unions: one field decides the whole shape

Modeling results, requests, and auth states as tagged unions — and enforcing exhaustiveness with never.