sclass OrError extends Var { O error; // usually a Throwable *() {} *(A value) { super(value); } *(bool dummy, O *error) {} bool ok() { ret error == null; } toString { ret ok() ? super.toString() : str(error); } }