Result

type Result<Output> = 
  | SuccessResult<Output>
  | FailureResult;