Re: [GHC] #9992: Constructor specialization requires eta expansion