A value type whose instances are exactly one case from a closed set, optionally carrying case-specific data.