Subtype polymorphism captures variation as behavior