Re: [GHC] #5996: fix for CSE