static T3<S> tripleToLower(T3<S> t) {
  ret t == null ? null : t3(lower(t.a), lower(t.b), lower(t.c));
}