{-# htermination shows :: () -> String -> String #-}