Links for typing-derive