compare package:utility-ht

Lexicographically compare a list of attributes of two records. Example:

compare [comparing fst, comparing snd]

Compare the length of two lists over different types. It holds

\(Shape xs) (List ys) -> compareLength xs ys == compare (length xs) (length ys)

but compareLength is more efficient.