New: continue implementation of typed dependencies