static T3<S> ai_parseArrowTriple(S s) {
  ret listToTriple(splitAtSimpleArrow(s));
}