let
add vi ki lv =
State
.add vi (ki, lv)