An informal survey of the design space for ad-hoc polymorphism in a programming language.