2개의 타입 Dog와 Cat의 유니온 타입인 Animal 타입까지 정의했습니다.매개변수로 Animal 타입의 값을 받아 동물에 따라 각각 다른 경고를 콘솔에 출력하는 함수를 만들었습니다. 이때, Dog또는 Cat타입인지 알기 위해 in 연산자를 이용해 타입을 좁힙니다.