in particular, you could easily create a union type outside the system and then use that by wrapping all the things.