untagged unionならサブタイプ関係は成り立つでOKだと思うよ