Re: [GHC] #10640: Document prim-ops