Links for safe-typing