static <A, B, C extends Iterator<B>> ItIt<B> nestedIterator(final Iterator<A> it1, final F1<A, C> makeInnerIterator) {
  if (!it1.hasNext()) ret emptyIterator();
  ret iff(new F0<C>() {
    A a;
    Iterator<B> innerIterator;
    
    { nextOuter(); }
    
    void nextOuter {
      a = it1.next();
      innerIterator = callF(makeInnerIterator, a);
    }
    

    B get() {
      while licensed {
        if (innerIterator.hasNext())
          ret innerIterator.next();
        if (!it1.hasNext()) ret (B) endMarker();
        nextOuter();
      }
    }
  });
}