Re: [GHC] #11592: Self-kinded type variable accepted (was: Self-kinded type varialbe accepted)