Re: [GHC] #11390: GHC does not warn about redundant patterns (was: GHC does not warn about redundant equations)