/Functor/Monoidal/Construction/

• ../
• ListOf.agda
• MultisetOf.agda