/Category/Instance/MonoidalPreorders/

• ../
• Primitive.agda