Re: [GHC] #15232: TypeError is reported as "redundant constraint" starting with GHC 8.2