Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T7278.stderr
1
2 T7278.hs:9:43: error:
3     • Expected kind ‘* -> * -> *’, but ‘t’ has kind ‘k’
4     • In the type signature:
5         f :: (C (t :: k) (TF t)) => TF t p1 p0 -> t p1 p0