I do not consider type classes as ad hoc polymorphism, I should have clarified this first.