Re: [GHC] #13748: Variables pretty-printed from -ddump-deriv are not scoped properly