Question 4-4

What is the type of the following Haskell function?

member _ [] = False
member query (x:xs) = if x == query then True else member query xs

For full credit, describe the type using Haskell syntax.

Solution

(Eq a) => a -> [a] -> Bool