New: continue implementaiton of typed dependencies