Re: [GHC] #8476: Kind mismatch panic