union types in typescript/scala etc are instead a type-level union, where a concrete value of the union type has a type == to one of the members of the union