Polymorphism Shapes