Haven't looked at the rest of the PR, but the default `DefaultDeleter` already looks like this, so this definition is not required.