Sometimes it is not clear from the context what the type of a particular value is. In the case
of overloaded enumeration literals, it may be necessary to specify explicitly which type is
meant. We can do this using type qualification, which consists of writing the type name
followed by a single quote character, then an expression enclosed in parentheses. For example,
given the enumeration types