Am I the only one missing in the last example that the zero value, FlagID{}, would be an invalid enum? In which case this is not fundamentally different from the other cases, where you always have to check for the possibility of an invalid value.