Debug output wibbles

testsuite/tests/indexed-types/should_compile/T3017.stderr

@@ -15,7 +15,7 @@ TYPE CONSTRUCTORS
       = L :: forall a. [a] -> ListColl a Stricts: _
       FamilyInstance: none
 COERCION AXIOMS
-  axiom Foo.TFCo:R:ElemListColl :: forall a. Elem (ListColl a) ~# a
+  axiom Foo.TFCo:R:ElemListColl :: Elem (ListColl a) = a
 INSTANCES
   instance Coll (ListColl a) -- Defined at T3017.hs:12:11
 FAMILY INSTANCES

testsuite/tests/typecheck/should_compile/tc231.stderr

@@ -24,6 +24,6 @@ TYPE CONSTRUCTORS
       huh :: forall chain. Q s a chain -> ST s ()
 COERCION AXIOMS
   axiom ShouldCompile.NTCo:Zork ::
-    forall s a b. Zork s a b ~# (forall chain. Q s a chain -> ST s ())
+    Zork s a b = forall chain. Q s a chain -> ST s ()
 Dependent modules: []
 Dependent packages: [base, ghc-prim, integer-gmp]