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