untagged union (annotationも)みたいなものであれば、サブタイピング扱いにしても崩壊はしない

11:11 AM

なのでObjective-Cのnullableはサブタイプで正解です