En analogía con la programación imperativa, las variables libres son argumentos de salida y el resto son argumentos de entrada.