Example of AnnotationTyps