Re: [GHC] #14237: -Wredundant-constraints incorrectly treats all type equality constraints as redundant (was: -Wredundant-constraints incorrectly warns about required type equality constraints in default signatures)