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