/Functor/Monoidal/Construction/

• ../
• ListOf.agda