타입추론이 인터프리팅으론 안됨?