-- Kind constructors
liftedTypeKindTyConKey, tYPETyConKey,
  constraintKindTyConKey,
  starKindTyConKey, unicodeStarKindTyConKey, runtimeRepTyConKey,
  vecCountTyConKey, vecElemTyConKey :: Unique
liftedTypeKindTyConKey                  = mkPreludeTyConUnique 87
liftedTypeKindTyConKey, tYPETyConKey,
  constraintKindTyConKey,
  starKindTyConKey, unicodeStarKindTyConKey, runtimeRepTyConKey,
  vecCountTyConKey, vecElemTyConKey :: Unique
liftedTypeKindTyConKey                  = mkPreludeTyConUnique 87
liftedTypeKindTyConKey                  = mkPreludeTyConUnique 87