An annotation must be applied to subtypes of a sealed class to specify the value that represents the type.