An optional tag type meant to syntactically differentiate between otherwise identical instantiations.

• 一个可选的标记类型用来从语法上对相同的实例进行区分。