それぞれのインスタンスが異なる型(たいていはシングルトンの不変型 )の列挙型を持つことは、時には便利です。これは型の安定性にとって重要であり得る。形質は、典型的にはこのパラダイムで実施される。ただし、コンパイル時にオーバーヘッドが発生します。