Debug loading, success, and error unions with narrowing, impossible states, exhaustiveness, and UI state modeling.