Hi David, I don't think it'll be a problem in practice. However, I'm a bit worried that GHC's own dependencies "leak." like this (which was already the case before this proposed change.) Perhaps GHC should have it's own private package database where it register dependencies needed by the ghc and ghci packages? Cheers, Johan