[plt-scheme] instanceof equivalent in Typed Scheme?

Is there a way to check whether something is of a particular type?

I know you can define a type-predicate with:

(: Type? : Any -> Boolean : Type)

but I assume if you define that incorrectly bad things will happen.

Todd