so I've got a list of `Pair<Int, Int>` with ...

# announcements

[Andreas Sinz]

so I've got a list of Pair<Int, Int> with the first integer being an ID and the second one a Number. Is there a functional way to deduplicate the IDs and have the highest found number for each ID associated with the ID? or do i have to revert to a plain old for loop with a HashMap?