static S ai_renderTriple(Triple<S> t) {
  ret ai_tripleToString(t);
}

static S ai_renderTriple(S a, S b, S c) {
  ret ai_tripleToString(triple(a, b, c));
}