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