interface IPStack extends IVStack {
  // declare a probabilistic choice point
  default <B extends PStackComputable> void options(B function, IVF1<B>... options) {
    options(function, arrayIterator(options));
  }
  
  <B extends VStack.Computable> void options(B function, Iterable<IVF1<B>> options);
}