{-# htermination show :: Char -> String #-}