-
-tcfail070.hs:13: Couldn't match the kind `*' against `* -> ka1932'
- When unifying two kinds `*' and `* -> ka1932'
- In the type declaration for `State'
+tcfail070.hs:15:
+ Couldn't match `*' against `* -> k'
+ Expected kind: *
+ Inferred kind: * -> k
+ When checking kinds in `[Int] Bool'
+ In the type synonym declaration for `State'
Compilation had errors
+