tcfail028.hs:4:
- Couldn't match `Type t' against `k -> *'
- Expected kind: Type t
- Inferred kind: k -> *
+ 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 newtype declaration for `A'
-
-
-
-Compilation had errors
-
+ In the data type declaration for `A'