Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T7939a.stderr
1
2 T7939a.hs:7:5:
3     Expecting one more argument to ‘Maybe’
4     Expected a type, but ‘Maybe’ has kind ‘* -> *’
5     In the first argument of ‘F’, namely ‘Maybe’
6     In the type family declaration for ‘F’