Re: [GHC] #11230: No run-time exception for deferred type errors when error is in a phantom role position