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