Van ahol hasonló: pl. Haskellben ott az Ord typeclass, ha implementálod a compare-t, "ingyen" kapod a <,>,<=,>=, min, max operátorokat (az egyenlőségre külön class van)
De mondjuk ott sincs a standard nyelvben teljesen következetesen végig csinálva (pl. numerikus típusoknál), libraryban vannak próbálkozások.
Pl. ha az összeadás tulajdonságait kikényszerítjük (http://hackage.haskell.org/packages/archive/numeric-prelude/0.3.0.2/doc…) akkor nem lehetne zavart keltő módon + jellel egymáshoz fűzni stringeket - hiszen a konkatenálásnál negáltként működő stringet úgysem tudjuk definiálni ("string"+ (-"string") == "") stb...