static T3<S> ai_parseArrowTriple(S s) {
  ret listToTriple(map tok_unCurlyBracket(trimAll(splitAtSimpleArrow(tok_combineCurlyBrackets_keep(javaTok(s))))));
}