lengthCompare: taking advantage of how Ordering is a Monoid