Re: [GHC] #5080: Recompilation bug: recomp008 failed