{-# htermination notElem :: Eq a => a -> [a] -> Bool #-}