/NaturalTransformation/Monoidal/Construction/

• ../
• CMonoidValued.agda
• MonoidValued.agda