> It is because there is no defined order that I find it 
> counter intuitive to have to make what is essentially and 
> order specification. From a functional point of view a key 
> really should aggregate IMHO.

But someone has to tell it what to aggregate over. A function expects to be
told what its input is.

Michael Kay
http://www.saxonica.com/