sclass mapI_if1_It extends IterableIterator {
  IF1<A, B> f;
  Iterator<A> i;
  
  *() {}
  *(IF1<A, B> *f, Iterator<A> *i) {}
  
  public bool hasNext() {
    ret i.hasNext();
  }
  
  public B next() {
    ret f.get(i.next());
  }
  
  toString {
    ret formatFunctionCall('mapI_if1, f, i);
  }
}

static <A, B> ItIt<B> mapI_if1(IF1<A, B> f, Iterable<A> i) {
  ret new mapI_if1_It(f, i);
}