force all subtypes of an enumerated type to be a subtype of a case