i agree about "I feel like this is a place where we could introduce a new type of declaration, either on the collection type, or as a rule that statically defines the ways a product can be merged".