because if things are implicitly mergeable, then

SelectDependencies(Collection.of(A), Collection.of(B))

could be automatically available