Slightly more efficient adt deletion