Re: [GHC] #12701: Eta reduce type synonyms when possible