Re: [GHC] #9380: ghc generates seemingly incorrect code