I thought this is going to be about dependent types or the `infer` keyword(or any other badly documented feature like the latter). There are features of the ty

I thought this is going to be about dependent types or the `infer` keyword(or any other badly documented feature like the latter). There are features of the type system you should definitely avoid unless you're writing a library. Enums aren't it.