static LS longerThan(Iterable<S> l, int x) {
  ret filter(l, s -> l(s) > x);
}

static LS longerThan(int x, Iterable<S> l) {
  ret longerThan(l, x);
}