Reject class instances with type families in kinds
[ghc.git] / testsuite / tests / polykinds / T11520.stderr
index 75147e6..93078aa 100644 (file)
@@ -1,6 +1,8 @@
 
 T11520.hs:15:57: error:
-    • Illegal type synonym family application in instance: Compose f g
+    • Illegal type synonym family application ‘Any’ in instance:
+        Typeable (Compose f g)
+        Use -fprint-explicit-kinds to see the kind arguments
     • In the instance declaration for ‘Typeable (Compose f g)’
 
 T11520.hs:15:77: error: