- make-list-comparatorprocedure
- type-test returns #t when type-test is #t and list elements satisfy element-comparator.
- an empty sequence (per empty?) compares less than non-empty.
- if head elements are compared and if equal, tail elements are compared to determine order of input objects.
- hash function of element-comparator computes hash of elements which are hashed together.