The one place for your designs
To enable design management, you'll need to meet the requirements. If you need help, reach out to our support team for assistance.
Rename multiset "union" into "sum"
See https://en.wikipedia.org/wiki/Multiset#Basic_properties_and_operations
The union should take the max of the multiplicity, whereas ours takes the sum. The operation that we currently have should thus be called "sum".
I suppose this means we need an operational type class for "sum" too. What would be a reasonable symbol? ⊎?