Coding down to the polymorphism