{-# htermination maxBound :: Char #-}