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