/Category/Instance/Preorder/Primitive/Monoidals/Symmetric/