Re: [GHC] #12566: Memory leak