Re: [GHC] #12385: Another case of type families not being reduced