타입 추론이라고 쓰면 될걸

형식 연역이라고 쓰니 잘 안읽히잖아