Re: [GHC] #11691: Documentation indicates RelaxedPolyRec is optional