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