Lame - they should be able to know the key type - oh well. No runtime overhead, just cognitive overhead while reading.