variant

二項の和を一般化すると、ラベル付きのバリアントになる。これは直積がラベル付きレコードに一般化できるのと同様である

むしろ、TypeScriptとかCrystalのUnionが普通の直和型みたいな感じかな？

tagがないので

code:cr

alias Int32OrString = Int32 | String

例

OptionalNat = <none:Unit, some:Nat>

部分型付けの話