Re: [GHC] #12007: Pattern families regression