Annotation Type Unproxiable