Re: [GHC] #11503: TypeError woes (incl. pattern match checker)