isInstanceType

Type used as the target of an is-expression in the effect expression.