ghc/tests/typecheck/should_fail/tcfail070.stderr

   1
   2 tcfail070.hs:13:
   3     Couldn't match `*' against `* -> $0'
   4         Expected kind: *
   5         Inferred kind: * -> $0
   6     In the type `[Int] Bool'
   7     In the type declaration for `State'
   8
   9
  10 Compilation had errors