ghc/tests/typecheck/should_fail/tcfail028.stderr

   1
   2 tcfail028.hs:4:
   3     Couldn't match `k -> k1' against `Type bx'
   4         Expected kind: k -> k1
   5         Inferred kind: Type bx
   6     When checking that `A a' is a type
   7     In the data type declaration for `A'