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