Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T14563.stderr
1
2 T14563.hs:9:39: error:
3     • Expected kind ‘TYPE rep -> TYPE rep''’,
4         but ‘h’ has kind ‘TYPE rep -> *’
5     • In the second argument of ‘Lan’, namely ‘h’
6       In the type ‘Lan g h a’
7       In the definition of data constructor ‘Lan’