let
inject_map m =
Map
m