ResTThrowIfErr Method

static Res<User> QueryUser(..) {
    // might fail; hence, returns a Res<User> rather than just User.
}
var result = QueryUser(..).ThrowIfErr();
// result will be:
// - Ok(user) if QueryUser succeeds and returns Ok of the user;
// - the application will throw otherwise.