Links for typecheck-decorator