mkAnnotationCtor -> mkAnnotation