mandel/testing: links for annotated-types