Links for annotated-types