ghc/tests/typecheck/should_fail/tcfail070.stderr

   1
   2 tcfail070.hs:13: Couldn't match the kind `*' against `* -> ka1998'
   3     When unifying two kinds `*' and `* -> ka1998'
   4     In the type declaration for `State'
   5
   6 Compilation had errors