Re: [GHC] #9631: Comment in GHC.Base about GHC.Prim does not appear to be correct