Las primeras dos reglas generan funciones, mientras que la última describe la aplicación de una función a un argumento.