filter is:exact

filter, applied to a predicate and a list, returns the list of those elements that satisfy the predicate; i.e.,

filter p xs = [ x | x <- xs, p x]

filter p xs removes any elements from xs that do not satisfy p.