Member predicate Ordered::GroupBy::Type::getOrder

Items are ordered by the result of this member predicate.

This must be unique across items in each group to ensure correctness.