static Pair<S> stdCasePair(S a, S b) {
  ret pair(stdCase(a), stdCase(b));
}