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