Correção da inferência de tipo para chamadas