We should specify what the keys of the map are