Type Check 추가
코드 중 Type Checking 부분 수정