static Triple<L<S>> attractToTwoLists_merge(Triple<L<S>> t, Triple<L<S>> t2) {
  ret triple(t2.a,
    concatLists_conservative(t.b, t2.b),
    concatLists_conservative(t.c, t2.c));
}