// TODO: clean up these type signatures?

static <A, B, C extends Iterator<B>> ItIt<B> nestedIterator(final Iterable<A> c, final F1<A, C> makeInnerIterator) {
  ret nestedIterator(iterator(c), makeInnerIterator);
}

static <A, B, C extends Iterator<B>> ItIt<B> nestedIterator(Cl<A> c, final IF1<A, C> makeInnerIterator) {
  ret nestedIterator(iterator(c), makeInnerIterator);
}

static <A, B, C extends Iterator<B>> ItIt<B> nestedIterator(Iterator<A> it1, IF1<A, C> makeInnerIterator) {
  ret nestedIterator(it1, toF1(makeInnerIterator));
}

static <A, B, C extends Iterator<B>> ItIt<B> nestedIterator(final Iterator<A> it1, final F1<A, C> makeInnerIterator) {
  if (it1 == null || !it1.hasNext()) ret emptyIterableIterator();
  ret iff(new F0 {
    A a;
    Iterator<B> innerIterator;
    
    { nextOuter(); }
    
    void nextOuter {
      a = it1.next();
      innerIterator = callF(makeInnerIterator, a);
    }
    
    public O get() {
      while true { ping();
        if (innerIterator.hasNext())
          ret innerIterator.next();
        if (!it1.hasNext()) ret endMarker();
        nextOuter();
      }
    }
  });
}

static <A, B, C extends Iterator<B>> ItIt<B> lambdaMapLike nestedIterator(IF1<A, C> makeInnerIterator, Iterator<A> it1) {
  ret nestedIterator(it1, makeInnerIterator);
}

static <A, B, C extends Iterator<B>> ItIt<B> nestedIterator(IF1<A, C> makeInnerIterator, Cl<A> l) {
  ret nestedIterator(l, makeInnerIterator);
}