Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T14450.stderr
1
2 T14450.hs:33:12: error:
3     • Expected kind ‘k ~> k’,
4         but ‘(IddSym0 :: Type ~> Type)’ has kind ‘* ~> *’
5     • In the first argument of ‘Dom’, namely
6         ‘(IddSym0 :: Type ~> Type)’
7       In the type instance declaration for ‘Dom’
8       In the instance declaration for ‘Varpi (IddSym0 :: k ~> k)’