Por ejemplo, si la función "div" significa la versión currificada de la operación "x" / "y", entonces "div" con el parámetro "x" fijado en 1 es otra función: igual que la función "inv" que devuelve la inversa multiplicativa de sus argumentos, definida por "inv"("y") = 1 / "y".