Здравствуйте, ecinunice, Вы писали:

E>Вопрос – чем вызвано требование упорядочивания списка?

Экономия памяти. Вместо накопления списка (массива, whatever) с промежуточными результатами группировки, можно предположить, что список отсортирован и считать, что группа сформирована, когда встретился отличный от предыдущего элемент. Если не ошибаюсь, то сейчас там всё равно создаются списки. Но зато переделка в ленивый вариант — это изменить возвращаемый тип на IEnumerable[IEnumerable['a]] да вставить yield в паре мест.

По идее, наверное, надо иметь оба варианта в штатной библиотеке и назвать их по разному.