:: a -> [a] -> Bool package:base-prelude

Does the element occur in the structure?
notElem is the negation of elem.