map requires only operator < in Key, not operator::>