Either merge

Returns whichever side of the disjunction is present, given a commonly assignable type.