Class Union and Polymorphism