sS zipLinesWithDoubleArrow(S text1, S text2) {
  ret lines(safeMap joinPairWithDoubleArrow(zipTwoLists(lines(text1), lines(text2))));
}