6.2. Derivation with Polymorphism