/Functor/Monoidal/Construction/

• ../
• MonoidValued.agda
• MultisetOf.agda