{-# htermination notElem :: Char -> [Char] -> Bool #-}