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