/Functor/Monoidal/

• ../
• Braided
• Instance
• Strong