Re: [GHC] #11471: Kind polymorphism and unboxed types: bad things are happening (was: Note [The kind invariant] in TyCoRep needs to be updated)