/NaturalTransformation/Monoidal/

• ../
• Construction