The packages library1, library2 and their dependencies would all be installed in the sandbox in top and the cabal install inside the application directory would resolve dependencies from that sandbox. Each folder would still maintain its own cabal configuration so global analysis wouldn't be possible (or on the other hand, necessary).