That's why pattern matching and algebraic datatypes getting popular these years. Make Illegal States Unrepresentable