For what it's worth, It's bothered me often enough that cabal doesn't install globally by default that I had to reinstall ghc in order to solve package issues.

So I'd prefer the default to be global.

But I don't care that much, I don't think arguing that point is leading anywhere.