+-- Super Kinds constructors
+tySuperKindTyConKey = mkPreludeTyConUnique 85
+coSuperKindTyConKey = mkPreludeTyConUnique 86
+
+-- Kind constructors
+liftedTypeKindTyConKey = mkPreludeTyConUnique 87
+openTypeKindTyConKey = mkPreludeTyConUnique 88
+unliftedTypeKindTyConKey = mkPreludeTyConUnique 89
+ubxTupleKindTyConKey = mkPreludeTyConUnique 90
+argTypeKindTyConKey = mkPreludeTyConUnique 91
+
+-- Coercion constructors
+symCoercionTyConKey = mkPreludeTyConUnique 93
+transCoercionTyConKey = mkPreludeTyConUnique 94
+leftCoercionTyConKey = mkPreludeTyConUnique 95
+rightCoercionTyConKey = mkPreludeTyConUnique 96
+instCoercionTyConKey = mkPreludeTyConUnique 97
+unsafeCoercionTyConKey = mkPreludeTyConUnique 98
+
+unknownTyConKey = mkPreludeTyConUnique 99
+unknown1TyConKey = mkPreludeTyConUnique 130
+unknown2TyConKey = mkPreludeTyConUnique 131
+unknown3TyConKey = mkPreludeTyConUnique 132
+opaqueTyConKey = mkPreludeTyConUnique 133
+
+stringTyConKey = mkPreludeTyConUnique 134
+
+