// Note: doesn't have value-semantics
// i.e. eq(SecretValue(x), SecretValue(x)) will be false
sclass SecretValue<A> extends Var<A> {
  *() {}
  *(A a) { super(a); }
  
  toString { ret "Secret value"; }
}