All dependents of lean-map