This type constructor is used to distinguish the alternatives of a choice or the elements of a sequence or set, a function performed by attribute types.