Typecheck instructions are supported for reified T
javaClass<T> is supported for reified T