static <A> LL<A> listsWithLength(final int n, LL<A> l) {
  ret [L<A> x : unnull(l) | l(x) == n];
}