Union types

How do you envision this to be represented on the JVM?