Re: [GHC] #9163: Ptr should have a phantom role