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