Re: [GHC] #9973: Erroneous Redundant constraint warning