static <A> ItIt<L<A>> allSubListsOfLength_iterator(int m, L<A> l) {
  ret mapI(countIterator_inclusive(0, l(l)-m), i -> subList(l, i, i+m));
}