No subject

function to coerse into the untyped world.  It looks something like
this:


    #lang typed/racket/base
    ...
    (require/typed "compiler-helper.rkt"
               [ensure-const-value (Any -> const-value)])


where const-value is some datatype defined elsewhere.


Typed Racket should impose runtime contracts to ensure the untyped
code isn't doing something silly.