타입정의3