let
insert m (k,v) =
M
.add k v m