sclass TypedVirtualVar<A> extends VirtualVar<A> {
  Class<A> type;
  
  *(Class<A> *type, IF0<A> *getter, IVF1<A> *setter) {}
  
  public Class<A> getType() { ret type; }
}