彌封類別

彌封類別在語法上，作用看似限制類別階層，然而在語義上，目的是明確地揭露型態邊界，因為邊界透明化，模式比對、解構模式，甚至是代數資料型態，都將有實現的可能