Re: [GHC] #10319: Eta expand PAPs