Safe union must contain at least two types to be useful