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