Referenced by:

• haskell-definedness
• linear-ordering
• min-max-im-im-al-um
• seven-sketches
• preorder
• sp24-uniformity