{-# htermination shows :: Ordering -> String -> String #-}