Links for type-intersections