Disjunction of two results.
Alternative result.
Result to evaluate.
Result if it is Ok, otherwise returns the alternative.
Ok
Disjunction of two results.