Re: [GHC] #7702: Memory Leak in CoreM (CoreWriter)