renamed nat trans in strong monoidal functor