> He describes the different states in a comment block but we found it even nicer to use Flow and disjoint unions to help the developer avoid impossible states

I'm on the highway to Elm <insert music note because HN hates unicode>

(or reason, or purescript, either way towards a language with first-class sum types support, that's just so convenient)