Re: [GHC] #13508: Clarify Some Restrictions on Compact Regions