All dependents of type-infer