Links for typecheck3