Code cleanliness: this should be called `DelFun`, and either we should assert that the fold returns `[]`, or it should be a `foreach`.