{-# htermination shows :: Show a => a -> String -> String #-}