ghc/tests/typecheck/should_fail/tcfail028.stderr

   1
   2 tcfail028.hs:4:
   3     Couldn't match `Type t' against `k -> *'
   4         Expected kind: Type t
   5         Inferred kind: k -> *
   6     When checking that `A a' is a type
   7     In the newtype declaration for `A'
   8
   9 Compilation had errors
  10