We want to ensure a few invariants: - merge (a, a) == a - merge (a, b) == merge (b, a) Add tests to verify that this is now the case.