static <A> PosNeg<A> posNegOnMultiMaps(MultiMap pos, MultiMap neg) {
  new PosNeg<A> pn;
  pn.pos = pos;
  pn.neg = neg;
  ret pn;
}