[plt-scheme] Typed Scheme "typeof"?

hi,

i haven't found it yet in the docs, is there some way to ask Typed
Scheme what it thinks the type is of something?

thanks.