index ab2cde1..ecdb6d2 100644 (file)
@@ -1,20 +1,19 @@

T10534a.hs:10:9: error:
-    Could not deduce: Coercible a b
-      arising from trying to show that the representations of
-        ‘a’ and
-        ‘b’ are the same
-    from the context: Coercible (DF a) (DF b)
-      bound by the type signature for:
-               silly :: Coercible (DF a) (DF b) => a -> b
-      at T10534a.hs:9:10-42
+    • Could not deduce: Coercible a b arising from a use of ‘coerce’
+      from the context: Coercible (DF a) (DF b)
+        bound by the type signature for:
+                   silly :: Coercible (DF a) (DF b) => a -> b
+        at T10534a.hs:9:1-42
‘a’ is a rigid type variable bound by
-          the type signature for: silly :: Coercible (DF a) (DF b) => a -> b
-          at T10534a.hs:9:10
+        the type signature for:
+          silly :: forall a b. Coercible (DF a) (DF b) => a -> b
+        at T10534a.hs:9:10
‘b’ is a rigid type variable bound by
-          the type signature for: silly :: Coercible (DF a) (DF b) => a -> b
-          at T10534a.hs:9:10
-    Relevant bindings include
-      silly :: a -> b (bound at T10534a.hs:10:1)
-    In the expression: coerce
-    In an equation for ‘silly’: silly = coerce
+        the type signature for:
+          silly :: forall a b. Coercible (DF a) (DF b) => a -> b
+        at T10534a.hs:9:10
+    • In the expression: coerce
+      In an equation for ‘silly’: silly = coerce
+    • Relevant bindings include
+        silly :: a -> b (bound at T10534a.hs:10:1)