[racket] TR base-env typing classes/instances

Given racket/place/distributed then the typing should go into base-env.rkt
true?
Assuming so, we face the situation that the place/distributed API uses
class instances.

e.g. spawn-node-supervise-place-at returns (values remote-node%
remote-connection%)

I know how to do it a la collects/types/mred but I couldn't spot an example
of class/instance typing in directly in base-env.rkt's DSL typing syntax.

Could an example be provided?

Thanks.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20121107/12f4b1a9/attachment.html>