static ItIt<Int> countIterator_inclusive(final int a, final int b) {
  ret countIterator_exclusive(a, b+1);
}

static <A> ItIt<A> countIterator_inclusive(int a, int b, IF1<Int, A> f) {
  ret countIterator_exclusive(a, b+1, f);
}