static transformable record AnyElementSatisfies<A>(O pred) implements ITheoryOn<Iterable<A>> {
  public bool check(Iterable l) {
    ret any(pred, l);
  }
}