/Functor/Monoidal/

• ../
• Instance
• Strong