Improve error message for Typeable k (T k)

GHC can't yest build a TypeRep for a type involving kind variables.
(We await kinds = types for that.)  But the error message was terrible,
as fixing #10524 reminded me.

This improves it a lot.

1 files changed, 6 insertions, 6 deletions

diff --git a/testsuite/tests/rebindable/rebindable6.stderr b/testsuite/tests/rebindable/rebindable6.stderr
index 10c8f56ee3..9e3dc0a5c7 100644
--- a/testsuite/tests/rebindable/rebindable6.stderr
+++ b/testsuite/tests/rebindable/rebindable6.stderr
@@ -1,8 +1,8 @@
 
-rebindable6.hs:106:17:
+rebindable6.hs:106:17: error:
     No instance for (HasSeq (IO a -> t0 -> IO b))
-      (maybe you haven't applied a function to enough arguments?)
       arising from a do statement
+      (maybe you haven't applied a function to enough arguments?)
     The type variable ‘t0’ is ambiguous
     Relevant bindings include
       g :: IO (Maybe b) (bound at rebindable6.hs:104:19)
@@ -23,10 +23,10 @@ rebindable6.hs:106:17:
                  Just (b :: b) <- g;
                  return b }
 
-rebindable6.hs:107:17:
+rebindable6.hs:107:17: error:
     No instance for (HasFail ([Char] -> t1))
-      (maybe you haven't applied a function to enough arguments?)
       arising from a do statement
+      (maybe you haven't applied a function to enough arguments?)
     The type variable ‘t1’ is ambiguous
     Note: there is a potential instance available:
       instance HasFail (String -> IO a)
@@ -42,10 +42,10 @@ rebindable6.hs:107:17:
                  Just (b :: b) <- g;
                  return b }
 
-rebindable6.hs:108:17:
+rebindable6.hs:108:17: error:
     No instance for (HasReturn (b -> t1))
-      (maybe you haven't applied a function to enough arguments?)
       arising from a use of ‘return’
+      (maybe you haven't applied a function to enough arguments?)
     The type variable ‘t1’ is ambiguous
     Relevant bindings include
       b :: b (bound at rebindable6.hs:107:23)