Links for typecheck