{-# htermination minBound :: Int #-}