> 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  <xxxxxx@sigwinch.xyz>

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