# type 검증