Enums seem to be the most problematic language construct. Attempts to formalize them in a language results in an anti-pattern. Provisional implementations with other language primitives are often also anti-patterns and/or non-idiomatic. Is our discrete math pear-shaped here? What’s the deal with enums?