-unknown1TyConKey = mkPreludeTyConUnique 100
-unknown2TyConKey = mkPreludeTyConUnique 101
-unknown3TyConKey = mkPreludeTyConUnique 102
-opaqueTyConKey = mkPreludeTyConUnique 103
+unknown1TyConKey = mkPreludeTyConUnique 130
+unknown2TyConKey = mkPreludeTyConUnique 131
+unknown3TyConKey = mkPreludeTyConUnique 132
+opaqueTyConKey = mkPreludeTyConUnique 133