タグ付きユニオン型
#(Type|ECMA|Java)Script #型
ユニオン型(union type)にタグをつけて一意に判別可能にしたもの
判別可能なUnion型