Distinct类型

一个Distinct类型允许用于创建“非基本类型的子类型”。你必须 显式 定义distinct类型的所有行为。 为了帮助这点，distinct类型和它的基类型可以相互强转。 示例提供在 manual 。