{-# htermination (<) :: Ordering -> Ordering -> Bool #-}