static Pair<S> pairToLower(Pair<S> p) {
  ret p == null ? null : pair(lower(p.a), lower(p.b));
}