. . "In a language where currying is supported, f is a function which takes one argument (a) and returns a function which takes 4 arguments." . .