Check switch statement exhaustiveness with Typescript