O, siguiendo la misma convención para el uso múltiple que en el cálculo lambda,