static L<Pair<S>> mapDoubleArrowsToPairs(L<S> l) {
  new L<Pair<S>> out;
  for (S s : l) {
    L<S> x = splitAtDoubleArrow(s);
    if (l(x) == 2) out.add(listToPair(x));
  }
  ret out;
}