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