Polymorphism doesn't require casting or union types or whatever it is you're describing.