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