Typeable: Rename KindRep bindings to $krep...

7 files changed, 138 insertions, 138 deletions

diff --git a/testsuite/tests/roles/should_compile/Roles1.stderr b/testsuite/tests/roles/should_compile/Roles1.stderr
index a81e7c0187..574750ce44 100644
--- a/testsuite/tests/roles/should_compile/Roles1.stderr
+++ b/testsuite/tests/roles/should_compile/Roles1.stderr
@@ -32,8 +32,8 @@ Roles1.$tcT7
       Roles1.$trModule
       (GHC.Types.TrNameS "T7"#)
       1
-      krep
-krep [InlPrag=[~]]
+      $krep
+$krep [InlPrag=[~]]
   = GHC.Types.KindRepFun
       (GHC.Types.KindRepVar 0)
       (GHC.Types.KindRepFun
@@ -46,8 +46,8 @@ Roles1.$tc'K7
       Roles1.$trModule
       (GHC.Types.TrNameS "'K7"#)
       3
-      krep
-krep [InlPrag=[~]]
+      $krep
+$krep [InlPrag=[~]]
   = GHC.Types.KindRepFun
       (GHC.Types.KindRepVar 2)
       (GHC.Types.KindRepTyConApp
@@ -62,8 +62,8 @@ Roles1.$tcT6
       Roles1.$trModule
       (GHC.Types.TrNameS "T6"#)
       1
-      krep
-krep [InlPrag=[~]]
+      $krep
+$krep [InlPrag=[~]]
   = GHC.Types.KindRepFun
       (GHC.Types.KindRepVar 0)
       (GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
@@ -74,8 +74,8 @@ Roles1.$tc'K6
       Roles1.$trModule
       (GHC.Types.TrNameS "'K6"#)
       2
-      krep
-krep [InlPrag=[~]]
+      $krep
+$krep [InlPrag=[~]]
   = GHC.Types.KindRepTyConApp
       Roles1.$tcT6
       ((:) (GHC.Types.KindRepVar 0) ((:) (GHC.Types.KindRepVar 1) []))
@@ -86,8 +86,8 @@ Roles1.$tcT5
       Roles1.$trModule
       (GHC.Types.TrNameS "T5"#)
       0
-      krep
-krep [InlPrag=[~]]
+      $krep
+$krep [InlPrag=[~]]
   = GHC.Types.KindRepFun
       (GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
       (GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
@@ -98,8 +98,8 @@ Roles1.$tc'K5
       Roles1.$trModule
       (GHC.Types.TrNameS "'K5"#)
       1
-      krep
-krep [InlPrag=[~]]
+      $krep
+$krep [InlPrag=[~]]
   = GHC.Types.KindRepFun
       (GHC.Types.KindRepVar 0)
       (GHC.Types.KindRepTyConApp
@@ -111,8 +111,8 @@ Roles1.$tcT4
       Roles1.$trModule
       (GHC.Types.TrNameS "T4"#)
       0
-      krep
-krep [InlPrag=[~]]
+      $krep
+$krep [InlPrag=[~]]
   = GHC.Types.KindRepFun
       (GHC.Types.KindRepFun
          (GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
@@ -127,8 +127,8 @@ Roles1.$tc'K4
       Roles1.$trModule
       (GHC.Types.TrNameS "'K4"#)
       2
-      krep
-krep [InlPrag=[~]]
+      $krep
+$krep [InlPrag=[~]]
   = GHC.Types.KindRepFun
       (GHC.Types.KindRepApp
          (GHC.Types.KindRepVar 0) (GHC.Types.KindRepVar 1))
@@ -142,8 +142,8 @@ Roles1.$tcT3
       Roles1.$trModule
       (GHC.Types.TrNameS "T3"#)
       1
-      krep
-krep [InlPrag=[~]]
+      $krep
+$krep [InlPrag=[~]]
   = GHC.Types.KindRepFun
       (GHC.Types.KindRepVar 0)
       (GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
@@ -154,8 +154,8 @@ Roles1.$tc'K3
       Roles1.$trModule
       (GHC.Types.TrNameS "'K3"#)
       2
-      krep
-krep [InlPrag=[~]]
+      $krep
+$krep [InlPrag=[~]]
   = GHC.Types.KindRepTyConApp
       Roles1.$tcT3
       ((:) (GHC.Types.KindRepVar 0) ((:) (GHC.Types.KindRepVar 1) []))
@@ -166,8 +166,8 @@ Roles1.$tcT2
       Roles1.$trModule
       (GHC.Types.TrNameS "T2"#)
       0
-      krep
-krep [InlPrag=[~]]
+      $krep
+$krep [InlPrag=[~]]
   = GHC.Types.KindRepFun
       (GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
       (GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
@@ -178,8 +178,8 @@ Roles1.$tc'K2
       Roles1.$trModule
       (GHC.Types.TrNameS "'K2"#)
       1
-      krep
-krep [InlPrag=[~]]
+      $krep
+$krep [InlPrag=[~]]
   = GHC.Types.KindRepFun
       (GHC.Types.KindRepVar 0)
       (GHC.Types.KindRepTyConApp
@@ -191,8 +191,8 @@ Roles1.$tcT1
       Roles1.$trModule
       (GHC.Types.TrNameS "T1"#)
       0
-      krep
-krep [InlPrag=[~]]
+      $krep
+$krep [InlPrag=[~]]
   = GHC.Types.KindRepFun
       (GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
       (GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
@@ -203,8 +203,8 @@ Roles1.$tc'K1
       Roles1.$trModule
       (GHC.Types.TrNameS "'K1"#)
       1
-      krep
-krep [InlPrag=[~]]
+      $krep
+$krep [InlPrag=[~]]
   = GHC.Types.KindRepFun
       (GHC.Types.KindRepVar 0)
       (GHC.Types.KindRepTyConApp
diff --git a/testsuite/tests/roles/should_compile/Roles13.stderr b/testsuite/tests/roles/should_compile/Roles13.stderr
index f336a69be1..1ea545504b 100644
--- a/testsuite/tests/roles/should_compile/Roles13.stderr
+++ b/testsuite/tests/roles/should_compile/Roles13.stderr
@@ -11,10 +11,10 @@ convert1 = \ (ds :: Wrap Age) -> ds
 -- RHS size: {terms: 1, types: 0, coercions: 5, joins: 0/0}
 convert :: Wrap Age -> Int
 [GblId, Arity=1, Caf=NoCafRefs]
-convert =
-  convert1
-  `cast` (<Wrap Age>_R -> Roles13.N:Wrap[0] Roles13.N:Age[0]
-          :: ((Wrap Age -> Wrap Age) :: *) ~R# ((Wrap Age -> Int) :: *))
+convert
+  = convert1
+    `cast` (<Wrap Age>_R -> Roles13.N:Wrap[0] Roles13.N:Age[0]
+            :: ((Wrap Age -> Wrap Age) :: *) ~R# ((Wrap Age -> Int) :: *))
 
 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
 $trModule1 :: GHC.Prim.Addr#
@@ -42,9 +42,9 @@ Roles13.$trModule :: GHC.Types.Module
 Roles13.$trModule = GHC.Types.Module $trModule2 $trModule4
 
 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
-krep :: GHC.Types.KindRep
+$krep :: GHC.Types.KindRep
 [GblId, Caf=NoCafRefs]
-krep = GHC.Types.KindRepTYPE GHC.Types.LiftedRep
+$krep = GHC.Types.KindRepTYPE GHC.Types.LiftedRep
 
 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
 $tcAge1 :: GHC.Prim.Addr#
@@ -59,33 +59,33 @@ $tcAge2 = GHC.Types.TrNameS $tcAge1
 -- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
 Roles13.$tcAge :: GHC.Types.TyCon
 [GblId, Caf=NoCafRefs]
-Roles13.$tcAge =
-  GHC.Types.TyCon
-    3456257068627873222##
-    14056710845110756026##
-    Roles13.$trModule
-    $tcAge2
-    0#
-    krep
+Roles13.$tcAge
+  = GHC.Types.TyCon
+      3456257068627873222##
+      14056710845110756026##
+      Roles13.$trModule
+      $tcAge2
+      0#
+      $krep
 
 -- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0}
-krep1 :: GHC.Types.KindRep
+$krep1 :: GHC.Types.KindRep
 [GblId]
-krep1 =
-  GHC.Types.KindRepTyConApp
-    GHC.Types.$tcInt (GHC.Types.[] @ GHC.Types.KindRep)
+$krep1
+  = GHC.Types.KindRepTyConApp
+      GHC.Types.$tcInt (GHC.Types.[] @ GHC.Types.KindRep)
 
 -- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0}
-krep2 :: GHC.Types.KindRep
+$krep2 :: GHC.Types.KindRep
 [GblId, Caf=NoCafRefs]
-krep2 =
-  GHC.Types.KindRepTyConApp
-    Roles13.$tcAge (GHC.Types.[] @ GHC.Types.KindRep)
+$krep2
+  = GHC.Types.KindRepTyConApp
+      Roles13.$tcAge (GHC.Types.[] @ GHC.Types.KindRep)
 
 -- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
-krep3 :: GHC.Types.KindRep
+$krep3 :: GHC.Types.KindRep
 [GblId]
-krep3 = GHC.Types.KindRepFun krep1 krep2
+$krep3 = GHC.Types.KindRepFun $krep1 $krep2
 
 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
 $tc'MkAge1 :: GHC.Prim.Addr#
@@ -100,29 +100,29 @@ $tc'MkAge2 = GHC.Types.TrNameS $tc'MkAge1
 -- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
 Roles13.$tc'MkAge :: GHC.Types.TyCon
 [GblId]
-Roles13.$tc'MkAge =
-  GHC.Types.TyCon
-    18264039750958872441##
-    1870189534242358050##
-    Roles13.$trModule
-    $tc'MkAge2
-    0#
-    krep3
+Roles13.$tc'MkAge
+  = GHC.Types.TyCon
+      18264039750958872441##
+      1870189534242358050##
+      Roles13.$trModule
+      $tc'MkAge2
+      0#
+      $krep3
 
 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
-krep4 :: GHC.Types.KindRep
+$krep4 :: GHC.Types.KindRep
 [GblId, Caf=NoCafRefs]
-krep4 = GHC.Types.KindRepTYPE GHC.Types.LiftedRep
+$krep4 = GHC.Types.KindRepTYPE GHC.Types.LiftedRep
 
 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
-krep5 :: GHC.Types.KindRep
+$krep5 :: GHC.Types.KindRep
 [GblId, Caf=NoCafRefs]
-krep5 = GHC.Types.KindRepTYPE GHC.Types.LiftedRep
+$krep5 = GHC.Types.KindRepTYPE GHC.Types.LiftedRep
 
 -- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
-krep6 :: GHC.Types.KindRep
+$krep6 :: GHC.Types.KindRep
 [GblId, Caf=NoCafRefs]
-krep6 = GHC.Types.KindRepFun krep4 krep5
+$krep6 = GHC.Types.KindRepFun $krep4 $krep5
 
 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
 $tcWrap1 :: GHC.Prim.Addr#
@@ -137,41 +137,41 @@ $tcWrap2 = GHC.Types.TrNameS $tcWrap1
 -- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
 Roles13.$tcWrap :: GHC.Types.TyCon
 [GblId, Caf=NoCafRefs]
-Roles13.$tcWrap =
-  GHC.Types.TyCon
-    13773534096961634492##
-    15591525585626702988##
-    Roles13.$trModule
-    $tcWrap2
-    0#
-    krep6
+Roles13.$tcWrap
+  = GHC.Types.TyCon
+      13773534096961634492##
+      15591525585626702988##
+      Roles13.$trModule
+      $tcWrap2
+      0#
+      $krep6
 
 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
-krep7 :: GHC.Types.KindRep
+$krep7 :: GHC.Types.KindRep
 [GblId, Caf=NoCafRefs]
-krep7 = GHC.Types.KindRepVar 0#
+$krep7 = GHC.Types.KindRepVar 0#
 
 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
-krep8 :: GHC.Types.KindRep
+$krep8 :: GHC.Types.KindRep
 [GblId, Caf=NoCafRefs]
-krep8 = GHC.Types.KindRepVar 0#
+$krep8 = GHC.Types.KindRepVar 0#
 
 -- RHS size: {terms: 3, types: 2, coercions: 0, joins: 0/0}
-krep9 :: [GHC.Types.KindRep]
+$krep9 :: [GHC.Types.KindRep]
 [GblId, Caf=NoCafRefs]
-krep9 =
-  GHC.Types.:
-    @ GHC.Types.KindRep krep8 (GHC.Types.[] @ GHC.Types.KindRep)
+$krep9
+  = GHC.Types.:
+      @ GHC.Types.KindRep $krep8 (GHC.Types.[] @ GHC.Types.KindRep)
 
 -- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
-krep10 :: GHC.Types.KindRep
+$krep10 :: GHC.Types.KindRep
 [GblId, Caf=NoCafRefs]
-krep10 = GHC.Types.KindRepTyConApp Roles13.$tcWrap krep9
+$krep10 = GHC.Types.KindRepTyConApp Roles13.$tcWrap $krep9
 
 -- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
-krep11 :: GHC.Types.KindRep
+$krep11 :: GHC.Types.KindRep
 [GblId, Caf=NoCafRefs]
-krep11 = GHC.Types.KindRepFun krep7 krep10
+$krep11 = GHC.Types.KindRepFun $krep7 $krep10
 
 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
 $tc'MkWrap1 :: GHC.Prim.Addr#
@@ -186,14 +186,14 @@ $tc'MkWrap2 = GHC.Types.TrNameS $tc'MkWrap1
 -- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
 Roles13.$tc'MkWrap :: GHC.Types.TyCon
 [GblId, Caf=NoCafRefs]
-Roles13.$tc'MkWrap =
-  GHC.Types.TyCon
-    15580677875333883466##
-    808508687714473149##
-    Roles13.$trModule
-    $tc'MkWrap2
-    1#
-    krep11
+Roles13.$tc'MkWrap
+  = GHC.Types.TyCon
+      15580677875333883466##
+      808508687714473149##
+      Roles13.$trModule
+      $tc'MkWrap2
+      1#
+      $krep11
 
 
 
diff --git a/testsuite/tests/roles/should_compile/Roles14.stderr b/testsuite/tests/roles/should_compile/Roles14.stderr
index 61d0a597d1..15f61ce9fd 100644
--- a/testsuite/tests/roles/should_compile/Roles14.stderr
+++ b/testsuite/tests/roles/should_compile/Roles14.stderr
@@ -19,8 +19,8 @@ Roles12.$tcC2
       Roles12.$trModule
       (GHC.Types.TrNameS "C2"#)
       0
-      krep
-krep [InlPrag=[~]]
+      $krep
+$krep [InlPrag=[~]]
   = GHC.Types.KindRepFun
       (GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
       (GHC.Types.KindRepTyConApp GHC.Types.$tcConstraint [])
@@ -31,8 +31,8 @@ Roles12.$tc'C:C2
       Roles12.$trModule
       (GHC.Types.TrNameS "'C:C2"#)
       1
-      krep
-krep [InlPrag=[~]]
+      $krep
+$krep [InlPrag=[~]]
   = GHC.Types.KindRepFun
       (GHC.Types.KindRepFun
          (GHC.Types.KindRepVar 0) (GHC.Types.KindRepVar 0))
diff --git a/testsuite/tests/roles/should_compile/Roles2.stderr b/testsuite/tests/roles/should_compile/Roles2.stderr
index 7a795a3fa6..39ca1ea0a8 100644
--- a/testsuite/tests/roles/should_compile/Roles2.stderr
+++ b/testsuite/tests/roles/should_compile/Roles2.stderr
@@ -18,8 +18,8 @@ Roles2.$tcT2
       Roles2.$trModule
       (GHC.Types.TrNameS "T2"#)
       0
-      krep
-krep [InlPrag=[~]]
+      $krep
+$krep [InlPrag=[~]]
   = GHC.Types.KindRepFun
       (GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
       (GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
@@ -30,8 +30,8 @@ Roles2.$tc'K2
       Roles2.$trModule
       (GHC.Types.TrNameS "'K2"#)
       1
-      krep
-krep [InlPrag=[~]]
+      $krep
+$krep [InlPrag=[~]]
   = GHC.Types.KindRepFun
       (GHC.Types.KindRepTyConApp
          GHC.Ptr.$tcFunPtr ((:) (GHC.Types.KindRepVar 0) []))
@@ -44,8 +44,8 @@ Roles2.$tcT1
       Roles2.$trModule
       (GHC.Types.TrNameS "T1"#)
       0
-      krep
-krep [InlPrag=[~]]
+      $krep
+$krep [InlPrag=[~]]
   = GHC.Types.KindRepFun
       (GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
       (GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
@@ -56,8 +56,8 @@ Roles2.$tc'K1
       Roles2.$trModule
       (GHC.Types.TrNameS "'K1"#)
       1
-      krep
-krep [InlPrag=[~]]
+      $krep
+$krep [InlPrag=[~]]
   = GHC.Types.KindRepFun
       (GHC.Types.KindRepTyConApp
          GHC.Types.$tcIO ((:) (GHC.Types.KindRepVar 0) []))
diff --git a/testsuite/tests/roles/should_compile/Roles3.stderr b/testsuite/tests/roles/should_compile/Roles3.stderr
index 5d3c38c355..af9bc168c7 100644
--- a/testsuite/tests/roles/should_compile/Roles3.stderr
+++ b/testsuite/tests/roles/should_compile/Roles3.stderr
@@ -40,8 +40,8 @@ Roles3.$tcC4
       Roles3.$trModule
       (GHC.Types.TrNameS "C4"#)
       0
-      krep
-krep [InlPrag=[~]]
+      $krep
+$krep [InlPrag=[~]]
   = GHC.Types.KindRepFun
       (GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
       (GHC.Types.KindRepFun
@@ -54,8 +54,8 @@ Roles3.$tcC3
       Roles3.$trModule
       (GHC.Types.TrNameS "C3"#)
       0
-      krep
-krep [InlPrag=[~]]
+      $krep
+$krep [InlPrag=[~]]
   = GHC.Types.KindRepFun
       (GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
       (GHC.Types.KindRepFun
@@ -68,8 +68,8 @@ Roles3.$tcC2
       Roles3.$trModule
       (GHC.Types.TrNameS "C2"#)
       0
-      krep
-krep [InlPrag=[~]]
+      $krep
+$krep [InlPrag=[~]]
   = GHC.Types.KindRepFun
       (GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
       (GHC.Types.KindRepFun
@@ -82,8 +82,8 @@ Roles3.$tc'C:C2
       Roles3.$trModule
       (GHC.Types.TrNameS "'C:C2"#)
       2
-      krep
-krep [InlPrag=[~]]
+      $krep
+$krep [InlPrag=[~]]
   = GHC.Types.KindRepFun
       (GHC.Types.KindRepFun
          (GHC.Types.KindRepTyConApp
@@ -103,8 +103,8 @@ Roles3.$tcC1
       Roles3.$trModule
       (GHC.Types.TrNameS "C1"#)
       0
-      krep
-krep [InlPrag=[~]]
+      $krep
+$krep [InlPrag=[~]]
   = GHC.Types.KindRepFun
       (GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
       (GHC.Types.KindRepTyConApp GHC.Types.$tcConstraint [])
@@ -115,8 +115,8 @@ Roles3.$tc'C:C1
       Roles3.$trModule
       (GHC.Types.TrNameS "'C:C1"#)
       1
-      krep
-krep [InlPrag=[~]]
+      $krep
+$krep [InlPrag=[~]]
   = GHC.Types.KindRepFun
       (GHC.Types.KindRepFun
          (GHC.Types.KindRepVar 0) (GHC.Types.KindRepVar 0))
diff --git a/testsuite/tests/roles/should_compile/Roles4.stderr b/testsuite/tests/roles/should_compile/Roles4.stderr
index 989d77a9d6..389379bad2 100644
--- a/testsuite/tests/roles/should_compile/Roles4.stderr
+++ b/testsuite/tests/roles/should_compile/Roles4.stderr
@@ -25,8 +25,8 @@ Roles4.$tcC3
       Roles4.$trModule
       (GHC.Types.TrNameS "C3"#)
       0
-      krep
-krep [InlPrag=[~]]
+      $krep
+$krep [InlPrag=[~]]
   = GHC.Types.KindRepFun
       (GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
       (GHC.Types.KindRepTyConApp GHC.Types.$tcConstraint [])
@@ -37,8 +37,8 @@ Roles4.$tc'C:C3
       Roles4.$trModule
       (GHC.Types.TrNameS "'C:C3"#)
       1
-      krep
-krep [InlPrag=[~]]
+      $krep
+$krep [InlPrag=[~]]
   = GHC.Types.KindRepFun
       (GHC.Types.KindRepFun
          (GHC.Types.KindRepVar 0)
@@ -53,8 +53,8 @@ Roles4.$tcC1
       Roles4.$trModule
       (GHC.Types.TrNameS "C1"#)
       0
-      krep
-krep [InlPrag=[~]]
+      $krep
+$krep [InlPrag=[~]]
   = GHC.Types.KindRepFun
       (GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
       (GHC.Types.KindRepTyConApp GHC.Types.$tcConstraint [])
@@ -65,8 +65,8 @@ Roles4.$tc'C:C1
       Roles4.$trModule
       (GHC.Types.TrNameS "'C:C1"#)
       1
-      krep
-krep [InlPrag=[~]]
+      $krep
+$krep [InlPrag=[~]]
   = GHC.Types.KindRepFun
       (GHC.Types.KindRepFun
          (GHC.Types.KindRepVar 0) (GHC.Types.KindRepVar 0))
diff --git a/testsuite/tests/roles/should_compile/T8958.stderr b/testsuite/tests/roles/should_compile/T8958.stderr
index 52bfa274c9..5939c69954 100644
--- a/testsuite/tests/roles/should_compile/T8958.stderr
+++ b/testsuite/tests/roles/should_compile/T8958.stderr
@@ -27,8 +27,8 @@ T8958.$tcMap
       T8958.$trModule
       (GHC.Types.TrNameS "Map"#)
       0
-      krep
-krep [InlPrag=[~]]
+      $krep
+$krep [InlPrag=[~]]
   = GHC.Types.KindRepFun
       (GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
       (GHC.Types.KindRepFun
@@ -41,8 +41,8 @@ T8958.$tc'MkMap
       T8958.$trModule
       (GHC.Types.TrNameS "'MkMap"#)
       2
-      krep
-krep [InlPrag=[~]]
+      $krep
+$krep [InlPrag=[~]]
   = GHC.Types.KindRepFun
       (GHC.Types.KindRepTyConApp
          GHC.Types.$tc[]
@@ -67,8 +67,8 @@ T8958.$tcRepresentational
       T8958.$trModule
       (GHC.Types.TrNameS "Representational"#)
       0
-      krep
-krep [InlPrag=[~]]
+      $krep
+$krep [InlPrag=[~]]
   = GHC.Types.KindRepFun
       (GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
       (GHC.Types.KindRepTyConApp
@@ -80,8 +80,8 @@ T8958.$tc'C:Representational
       T8958.$trModule
       (GHC.Types.TrNameS "'C:Representational"#)
       1
-      krep
-krep [InlPrag=[~]]
+      $krep
+$krep [InlPrag=[~]]
   = GHC.Types.KindRepTyConApp
       T8958.$tcRepresentational
       ((:) @ GHC.Types.KindRep
@@ -93,8 +93,8 @@ T8958.$tcNominal
       T8958.$trModule
       (GHC.Types.TrNameS "Nominal"#)
       0
-      krep
-krep [InlPrag=[~]]
+      $krep
+$krep [InlPrag=[~]]
   = GHC.Types.KindRepFun
       (GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
       (GHC.Types.KindRepTyConApp
@@ -106,8 +106,8 @@ T8958.$tc'C:Nominal
       T8958.$trModule
       (GHC.Types.TrNameS "'C:Nominal"#)
       1
-      krep
-krep [InlPrag=[~]]
+      $krep
+$krep [InlPrag=[~]]
   = GHC.Types.KindRepTyConApp
       T8958.$tcNominal
       ((:) @ GHC.Types.KindRep