타입 검사

작성 예정