ghc/tests/typecheck/should_fail/tcfail070.stderr

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