Closures and currying

By Tennent's Principle of Correspondence: A closure with body C and a free variable x whose closed value is v, is equivalent to a (curried) function with body C and a formal parameter x which was bound to an actual parameter of v in a partial invocation. (Up to the evaluation strategy for x.)