Derived_functor loading ...