Funtor_contravariante loading ...