static L mL_pairs_tlftj(S listName) { ret map listToPair(map splitAtDoubleArrow(mL_tlftj(listName)); }