Polymorphism: Polymorphic references compile-time vs. run-time binding interfaces