타입추론은 신이다 이녀석아