Discriminated Union Pattern

Using tagged unions to model mutually exclusive state variants safely.