Re: [GHC] #11592: Self-kinded type variable accepted