[tel]

You can have "non-disjoint unions" in typesafe languages, you just will be no longer capable of distinguishing between the types of the members.