let
disj =
PSet
.union