Products must be indexed by category
Add FunctorOf, EndoFunctor, and EndoFunctorOf synonyms
Index monoidal on mu