A saber, la función pasada como "f" debe expandirse a la función"g" llamada con un argumento -- y que el argumento debe ser la función que ha sido pasado como "f" de nuevo.