Links for types-checker