Discriminated Union

ja: 判別可能なユニオン型