allUnorderedPairs
Now that it's in the prelude, the desire to remove diagonals is less obvious than it was.