-
-tcfail028.hs:4:
- Couldn't match `*?' against `$0 -> *'
- Expected kind: *?
- Inferred kind: $0 -> *
- In the type `A a'
- In the data declaration for `A'
-
-Compilation had errors
+tcfail028.hs:4:
+ Couldn't match `k -> k1' against `Type bx'
+ Expected kind: k -> k1
+ Inferred kind: Type bx
+ When checking that `A a' is a type
+ In the data type declaration for `A'