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