Ad_hoc_polymorphism loading ...