Question: Why scala can't infer the type in a partial method?