Testsuite wibbles

testsuite/tests/polykinds/T11520.stderr

@@ -2,7 +2,7 @@
 T11520.hs:15:77: error:
     • Expected kind ‘k2 -> k1’, but ‘g’ has kind ‘k4’
       ‘k4’ is a rigid type variable bound by
-        the instance declaration
+        an instance declaration
         at T11520.hs:15:10-78
     • In the second argument of ‘Compose’, namely ‘g’
       In the first argument of ‘Typeable’, namely ‘(Compose f g)’

testsuite/tests/saks/should_fail/saks_fail020.stderr

@@ -2,7 +2,7 @@
 saks_fail020.hs:9:49: error:
     • Expected kind ‘k1’, but ‘a’ has kind ‘k’
       ‘k’ is a rigid type variable bound by
-        the instance declaration
+        a standalone kind signature for ‘Foo2’
         at saks_fail020.hs:9:14-55
       ‘k1’ is a rigid type variable bound by
         an explicit forall (k :: Type)

testsuite/tests/typecheck/should_fail/T13909.stderr

@@ -3,7 +3,7 @@ T13909.hs:11:18: error:
     • Expecting two more arguments to ‘Hm’
       Expected kind ‘k’, but ‘Hm’ has kind ‘forall k -> k -> *’
       ‘k’ is a rigid type variable bound by
-        the instance declaration
+        an instance declaration
         at T13909.hs:11:10-19
     • In the first argument of ‘HasName’, namely ‘Hm’
       In the instance declaration for ‘HasName Hm’