Swiftだとこれはスッと出来ないので

9:06 AM

Either型みたいなまどろっこしいものをassoctypeに入れるしかない、それも単純にならないから

9:06 AM

ユーザ定義のサブタイプ、ユニオン型みたいなものが欲しくなってしまう

9:06 AM

もしかしてこれが可能ならサブタイピング要らなくなるんじゃないか?