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