Thanks, fixed and pushed.

On Sun, Jul 12, 2020 at 1:40 PM Wolfgang Corcoran-Mathe <> wrote:
> If the values of all the claws are Just/Right, then the body is evaluated
> as if it were in a (let () ...), and its value is wrapped in a Just/Right
> and returned.

I think this should read "its values are wrapped ...".

Wolfgang Corcoran-MatheĀ  <>

"In a bureaucracy, the file cards are reality. Punching
new holes recreates the world." --Alan Moore, _V For Vendetta_