Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T15116a.stderr
1
2 T15116a.hs:6:21: error:
3     • Data constructor ‘MkB’ cannot be used here
4         (it is defined and used in the same recursive group)
5     • In the first argument of ‘Proxy’, namely ‘ 'MkB’
6       In the type ‘(Proxy  'MkB)’
7       In the definition of data constructor ‘MkB’