9.3.5 제네릭(Generics) 및 복잡한 타입 정의의 유효성 검사