{-# htermination isUpper :: Char -> Bool #-}