to a single-value environment eliminates the need for variable names.
Binding more than one variable at a time
----------------------------------------
It requires some cleverness to use the link monad to bind more than
to a single-value environment eliminates the need for variable names.
Binding more than one variable at a time
----------------------------------------
It requires some cleverness to use the link monad to bind more than