타입추론의 힘을 기르자