Data.List.sort: force elements from start to end.