static T3<S> ai_parseArrowTriple(S s) {
  L<S> l = splitAtSimpleArrow(s);
  if (l(l) != 3) null;
  ret listToTriple(l);
}