let
set (r,_) v = r :=
Some
v