(annotationElement: StringAdd).self
(annotationElement: StringFormat).self
(annotationElement: ArrowAssoc[AnnotationElement]).x
(Since version 2.10.0) Use leftOfArrow
instead
(annotationElement: Ensuring[AnnotationElement]).x
(Since version 2.10.0) Use resultOfEnsuring
instead