Links for typechecking-decorator