En cambio, una aplicación lambda ts representa la aplicación de un argumento s a una función t.