static <A, B> LPair<L<A>, L<B>> pairsOfListsWithEqualSize(LPair<L<A>, L<B>> l) {
  ret [Pair<L<A>, L<B>> p : unnull(l) | l(p.a) == l(p.b)];
}