/Preorder/Primitive/

• ../
• Monoidal.agda
• MonotoneMap.agda
• MonotoneMap