.. as to the additional info, would it not be enough to list modules and symbols which produce different results compared to previous version? could cabal be tweaked to compare a list of (installed, required) versions (with sets of blacklisted symbols) with symbols actually used in a library, to suggest ok / reinstall?