[racket] Is it possible to use contract-profile in Typed Racket?

> I pushed `contract-profile-thunk' a few days ago, to solve precisely
> that problem. Since it's a function, it can be `require/typed' (with
> type `(-> (-> Any) Any)', for example).
>
> If you're not running from HEAD, you can add its definition to an
> untyped file:
>
>     (define (contract-profile-thunk f)
>       (contract-profile (f)))

Perfect; thanks!