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