It's absolutely generic. The code that uses the map would be indifferent to the type of key. The code that implements it is obviously different, because they ar

It's absolutely generic. The code that uses the map would be indifferent to the type of key. The code that implements it is obviously different, because they are two separate implementations. It seems unlikely that you could have automatic specialized implementations without substantial improvements in AI.