let
inject k v =
Map
(add_or_bottom k v
M
.empty)