:: Map k v -> (v -> Bool) -> Map k v package:hashmap

Filter all values that satisfy some predicate.