What is the difference between merge and union? I can see that the latter is implemented on top of the former, but the practical semantic difference is not clear to me.