let inject_map m = Map m