sclass AllOnAllOperation<A, B> implements Steppable {
  // e.g. an instance of AllOnAll<A, B>
  Producer<Pair<A, B>> allOnAll;
  
  *() {}
  *(Producer<Pair<A, B>> *allOnAll, IVF2<A, B> *operation) {}
  
  swappable void operation(A a, B b) {}

  public bool step() {
    Pair<A, B> p = allOnAll.next();
    if (p == null) false;
    operation(p.a, p.b);
    true;
  }
}