Or: "Decompose a list of pairs into a pair of lists". (I know it sounds obvious to us, but...)