Major patch to introduce TyConBinder
[ghc.git] / testsuite / tests / polykinds / T7328.stderr
1
2 T7328.hs:8:34: error:
3     • Occurs check: cannot construct the infinite kind: k1 ~ k0 -> k1
4     • In the first argument of ‘Foo’, namely ‘f’
5       In the first argument of ‘Proxy’, namely ‘Foo f’
6       In the type signature: foo :: a ~ f i => Proxy (Foo f)