/Functor/Monoidal/

• ../
• Braided
• Construction
• Instance
• Strong