/Category/Instance/Preorder/Primitive/Monoidals/Symmetric/
../
Lax.agda
Strong.agda