Re: darcs patch: Data.List.sort: force elements from start to end.