contentType으로 data의 타입을 판별하지 말고 data의 타입 자체를 판별해서 if-else문을 작성하면 되지 않나요? 굳이 contentType을 사용해야할 이유가 있을까요?

data에는 Message | Alter라는 타입을 줘서 Message 혹은 Alter라는 타입을 가질 수 있도록 하고 data의 타입 자체를 조건문에 넣으시면 원하시는대로 나올 것 같습니다

혹시 코드 설명해주실 수 있으실까요?

```ts
const ContentType: {
  Message: Message,
//         ^ 문자열에서 실제 타입으로 수정
  Alert: Alert
}

// ContentType의 각 속성마다 [키, 값] 형태로 변환한 유니온 타입
type ContentArgs =
    keyof typeof ContentType extends infer K extends keyof typeof ContentType
//                                           ^ 컴파일러를 위한 명시적 제약 조건
        ? K extends K
//        ^ distribution ( https://www.typescriptlang.org/docs/handbook/2/conditional-types.html#distributive-conditional-types )
            ? [K, typeof ContentType[K]]
            : never
        : never

function getContent(...[contentType, data]: ContentArgs) {
//                  ^^^^^^^^^^^^^^^^^^^^^^ ...를 떼고 하나의 변수로 보면 이해가 쉬울 것 같네요

// (이렇게)
function getContent(args: ContentArgs) {
  switch (args[0]) {
    case 'Message': {
      args[1] // Message
```

질문

```typescript
const ContentType: {
  Message: 'Message',
  Alert: 'Alert'
}
type ContentType = (typeof ContentType)[keyof typeof ContentType]

interface Message {
  content: string
}
interface Alert extends Message {}

function getContent(contentType: ContentType, data: any) {
  switch (contentType) {
    case 'Message': {
      data // <-- 이 data의 타입이 Message가 되게 하고싶음
    }; break
    case 'Alert': {
      data // <-- 이 data의 타입이 Alert가 되게 하고싶음
    }; break
  }
}
```
다음과 같은 코드가 있을때 어떻게 Type을 만들어야 주석에 써져있는대로 할 수 있을까요?
제네릭과 infer 키워드로 추론하고 삼향 연산자써서 해봐도 되지 않습니다.
case문 안에다가 `if (data instanceof Message) {}` 넣어서 할 수도 있지만 같은 코드가 여러번 나와서 이건 사용하기 싫습니다.