6.12.5 The <type-destructor> object–type

Core Type: <type-destructor>

Type of procedures acting as destructors for object of a specified type. The definition of this type is equivalent to:

(define-type <type-destructor>
  (lambda (_) => <list>))