#lang racket/base
(provide (all-defined-out))

;; Once "typed.rkt" is visited, the-f-box holds a reference to the
;; internal (uncontracted) version of f.
(define the-f-box (box #f))