// TODO: clean up these type signatures?

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

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

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

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

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