testsuite/tests/typecheck/should_fail/tcfail028.stderr

   1
   2 tcfail028.hs:4:17:
   3     Expecting one more argument to ‛A a’
   4     Expected a type, but ‛A a’ has kind ‛k0 -> *’
   5     In the type ‛A a’
   6     In the definition of data constructor ‛B’
   7     In the data declaration for ‛A’