I meant that, but I also meant the definition he uses. Yes, it "complects" the types into a container, but then you write code to handle the container, and onl

I meant that, but I also meant the definition he uses. Yes, it "complects" the types into a container, but then you write code to handle the container, and only the container, until you are ready to open it up. With union types, you must write code to handle all types in the union always. This complects the code written in the language. It is also an obvious entanglement and meets his own definition of complex.