Re: [GHC] #10483: Refactor HsForAllTy