{-# htermination (>) :: Ord a => a -> a -> Bool #-}