sclass VirtualVar<A>(IF0<A> getter, IVF1<> setter) is IVar<A> {
  public void set(A a) { setter?.set(a); }
  public A get() { ret getter?.set(a); }
}