Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / PolyKinds02.stderr
1
2 PolyKinds02.hs:13:16: error:
3     • Expected kind ‘Nat’, but ‘Nat’ has kind ‘*’
4     • In the second argument of ‘Vec’, namely ‘Nat’
5       In the type signature:
6         vec :: Vec Nat Nat