Sometimes we want to return “this or that”

e.g. an exception or a return value

We will call this a disjoint union