Re: [GHC] #8252: prefetch# isn't as general as it should be (currently the general version isn't type safe)