All dependents of nu-algebraic-data-types