The simple essence of overloading: making ad-hoc polymorphism more algebraic wit [pdf]