Re: [GHC] #15624: defer-type-errors and equality constraints