I've noticed that installed packages all have a large .a archive which can be shrunk by about 10% with strip --strip-unneeded. Is there any downside to stripping, and if not, why isn't it done by GHC when the package is installed? There's a (default) option for cabal-install to strip executables, but it seems that package stripping has to be done manually, each time.