/Preorder/

• ../
• Monoidal.agda
• Primitive.agda
• Primitive