open union
合併型
直和型とは異なり、タグがなく直接和をとる型
TypeScriptのunion型
ScalaやHaskellにもあるらしい