ghc/tests/typecheck/should_fail/tcfail070.stderr

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