{-# htermination maxBound :: Bounded a => a #-}