sclass RandomAndVary_Record<A> implements RandomAndVary<A> {
  Class<A> theClass;
  new Map<S, RandomAndVary> handlers; // key = field name

  *(Class<A> *theClass, O... params) {
    addAll(handlers, paramsToMap(params));
  }
  
  public A randomInstance() {
    A a = nu(theClass);
    for (S field, RandomAndVary handler : handlers) {
      setOpt(a, field, handler.randomInstance());
    }
    ret a;
  }
  
  public A varyInstance(A a) {
    a = shallowClone(a);
    S field = random(keys(handlers));
    RandomAndVary handler = handlers.get(field);
    O o = getOpt(a, field);
    if (o == null) ret;
    setOpt(a, field, handler.varyInstance(o));
    ret a;
  }
}