static <A> int lengthLevel2(Collection<? extends Collection> l) {
  int sum = 0;
  for (Collection c : l) sum += l(c);
  ret sum;
}