Re: [GHC] #15642: Improve the worst case performance of weak pointers