Annotation Type Contract