Complete runtime polymorphism