I\'m trying to check if a value of a union type is one of the union\'d types.
In the code below, the first three approaches (1-3) seem to not be the correct one.
