{-# htermination showsPrec :: Int -> Ordering -> String -> String #-}