Covariant_functor loading ...