-tcfail070.hs:13: Couldn't match the kind `*' against `* -> ka1998'
- When unifying two kinds `*' and `* -> ka1998'
+tcfail070.hs:13: Couldn't match the kind `*' against `* -> ka1937'
+ When unifying two kinds `*' and `* -> ka1937'
In the type declaration for `State'
Compilation had errors