Re: [GHC] #3207: readMutVar# is inlined/duplicated