Re: [GHC] #12381: Type family not reduced