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