Re: [GHC] #7643: Kind application error