let
imp_redo t =
let
(v, h2) = redo t.h
in
t.h <- h2; v