With a boolean OR between the conditions? But again, then the type check would become useless, and could be squashed.