sclass FreelyCallable<A> extends Var<A> {
  *() {}
  *(A a) { super(a); }
}