[Tade0]

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.