Hello, a small suggestion for the language: Haskell-1.4 Prelude exports Ordering(LT,EQ,GT) Do not you think that CompValue or OrderingValue fit better? And the word `Ordering' fits rather the type of maps a->a->CompValue ------------------------------------- Sergey Mechveliani [EMAIL PROTECTED]