Re: [GHC] #15809: Use level numbers for generalisation