rned by
<code>partition</code>.  Expressing the construction and use of these
bindings with the <code>call-by-values</code> primitive is cumbersome: One
must explicitly embed the expression that provides the values for the
bindings in a parameterless procedure, and one must explicitly embed the
expression to be evaluated in the scope of those bindings in another
procedure, writing as its parameters the identifiers that are to be bound
to the values received.
</p>

<p>
These embeddings are boilerplate, expos