{-# htermination minBound :: Ordering #-}