Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / PolyKinds04.stderr
1
2 PolyKinds04.hs:5:16:
3     Expecting one more argument to ‘Maybe’
4     Expected a type, but ‘Maybe’ has kind ‘* -> *’
5     In the first argument of ‘A’, namely ‘Maybe’
6     In the type ‘(A Maybe)’
7     In the definition of data constructor ‘B1’