type 정리