We sort left and right inputs by a key, so they can be diffed
The result of a diff is a Seq of differences, each of which is also (potentially) diffable