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