REQUIRE: NumericFunctors --> NumericFuns