Re: [GHC] #12645: 7.10.3 porting feedback