{-# htermination toUpper :: Char -> Char #-}