Links for typing-extensions