Contravariant_functor loading ...