map requires only operator < in key