Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T10516.stderr
1
2 T10516.hs:8:6: error:
3     • The type synonym ‘App’ should have 2 arguments, but has been given 1
4     • In the type signature:
5         f :: f a -> X (App f) a