static <A> IPred<A> contains$(Cl<A> l) {
  ret a -> contains(l, a);
}