A Haskell Higher Order Function that takes a verifying function and a list of elements, and returns all elements that return true in the verifying function.

filter :: (a -> Bool) -> [a] -> [a]

Example

-- return all even numbers in xs
filter even xs