static <A> Set<A> predicateToSet(IPred<A> p) {
  ret p == null ? null : new AbstractSet<A> {
    public Iterator<A> iterator() { throw unimplemented(); }
    public int size() { ret -1; }
    @Override
    public bool contains(O o) { ret p.get((A) o); }
  };
}