static S tripleToJava(T3<S> t) {
  ret "triple(" + quote(t.a) + ", " + quote(t.b) + ", " + quote(t.c) + ")";
}