/Preorder/Primitive/MonotoneMap/Monoidal/

• ../
• Lax.agda
• Strong.agda