Discriminated Unions

Discriminated Unions for Modeling State You Can Actually Trust

Replace scattered boolean flags with discriminated unions to make impossible UI and reducer states unrepresentable, not just unlikely.