/Preorder/

• ../
• Monoidal.agda