{-# htermination maxBound :: Ordering #-}