To get all values from a map as a single sequence I write 
for $k in map:keys($mymap) return $mymap($k)
which is long and also probably ineffective (O(NlogN)?)

Is there some function to do the same thing (O(N)) that I have overlooked? 

Jakub.