Links for type-reconstructor