let
fold =
PSet
.fold