Links for ty-types