[Consistency Review] missing Compare impl for list.List

[hackwaly]

Current behaviors

There's no Compare implementation for @list.List. But there's Compare implementation for @immut/list.List

Expected behaviors

There's Compare implementation for @list.List

Justification

[FlyCloudC]

When comparing, should we first compare the length like with arrays?

This would be slower but would maintain consistency with arrays. In other words:

arr1.compare(arr2) == @list.from_array(arr1).compare(@list.from_array(arr2))

[peter-jerry-ye]

No, it won't be shortlex.

With the Compare implementation, we only guarantee total order, so the Compare for the list will be lexicographic order instead of shortlex.

[peter-jerry-ye]

Again, we don't have the consistency between data structures. The compare order is not guaranteed between Option[T] and Result[T, Unit].