xxx a b  | a+b < a*b = LT
         | otherwise = GT