Re: [GHC] #14590: Sectioned hole oddities