Re: [GHC] #11359: Consider removing RelaxedLayout and friends