Delete mk_derived_functors