Archived tweet #10174 from the @leastfixedpoint Twitter Archive

@Symbo1ics @gecko @Nick_Craver If a language has tuple syntax, it may already have the necessary machinery to get this For Free(tm): tupling comma is an n-ary operator; you could treat relational operators the same way. "True iff these n values are in (weakly|strictly) (in|de)creasing order".