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