Flavors of polymorphism

• inclusion polymorphism -- to model subtypes and inheritance
• parametric polymorphism -- uniformly on a range of types
• intersection types -- coherent overloading