let
filter =
PSet
.filter