타입에 하나 이상의 하위 정의가 있는지 확인합니다.