Right_exact_functor loading ...