type check 예제 추가