ghc/compiler/tests/typecheck/should_fail/tcfail070.stderr

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