modification typed_map