#lang hyper-literate #:no-auto-require(dotlambda/unhygienic . typed/racket/base)

@(require (for-label typed/racket/base))

@section{Conclusion}

@chunk[<*>
       (provide
        ;; description
        #;id)
       
       (require (for-syntax racket/base))

       #;(define id …)]