コンストラクタで区別されるので、共用体のなかのフィールドの順序、型について、コンパイラが曖昧さなくエラーチェックできる。各コンストラクタのフィールドの型、数は同じでなくても構わない。Javaのクラスに近いイメージです。"}"フィールド名は英小文字始まりです。そのフィールド値を表示します。フィールド名の関数が自動的に作られるようなイメージです。型名をフィールド名の先頭に付けるといいでしょう。型名の後ろに型変数を付けることができる。型変数を2つ付けている。a型は、次のようになっている。