ghc/tests/typecheck/should_fail/tcfail070.stderr

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