1 Polymorphism. Main Notions n Monomorphism - every expression has a single type n Polymorphism - some expressions may have more than one type: v Ad Hoc.