Create mk_derived_functors