De estas observaciones, el compilador puede deducir el tipo de la función, que es: