Re: [GHC] #12244: Idea: Remove unused symbols in link-time for smaller binaries