6.12.2 The <thunk> object–type

Core Type: <thunk>

Type of procedures accepting no arguments. The definition of this type is equivalent to:

(define-type <thunk>
  (lambda () => <list>))