static T3<S> ai_tripelizeOrParseTriple(S s) {
  ret tok_containsSimpleArrow(s) ? ai_parseTriple(s) : ai_tripelize(s);
}