static Pair<A> sortedPair(A a, A b) {
  ret cmp(a, b) <= 0 ? pair(a, b) : pair(b, a);
}