sclass LazyVar<A> implements IF0<A> {
  *() {}
  *(A *v) { if (v == null) calculating = new Var; }
  *(IF0<A> *f) {}
  
  IF0<A> f;
  
  // will keep var around after the fact (we could change this by counting how many threads are waiting)
  Var<OKOrError<A>> calculating;
  A v;
  
  public A get() {
    bool meCalc;
    
    if (v != null) ret v;
    
    synchronized {
      meCalc = calculating == null;
      if (meCalc)
        calculating = new Var;
    }
    
    if (meCalc) {
      OKOrError<A> b = okOrError(() -> f!);
      calculating.set(b);
      synchronized { ret v = b!; }
    } else {
      waitUntilNotNull(calculating);
      ret v;
    }
  }
  
  public synchronized bool isEvaluated() { ret f == null; }
  
  public synchronized bool has() { ret get() != null; }

  toString { ret isEvaluated() ? str(get()) : "LazyVar"; }
}