/NaturalTransformation/

• ../
• Instance
• Monoidal