Result — Error-annotated values

Result (type)

type Result<Ok,Err> = {  #ok:Ok;
  #err:Err;
};