sclass OKOrError<A> {
  A value;
  gettable Throwable error;
  
  *() {}
  *(A *value) {}
  *(bool dummy, Throwable *error) {}
  
  bool ok aka isOK() { ret error == null; }
  
  toString {
    ret ok()
      ? "ok: " + str(value)
      : "Error: " + str(error);
  }
  
  A get() { if (!ok()) throw rethrow(error); ret value; }
}