Re: [GHC] #15515: Bogus "No instance" error when type families appear in kinds