testsuite/tests/polykinds/T7328.stderr


1
2
3
4
5
6
7
8


T7328.hs:8:34: error:
    Kind occurs check
    The first argument of ‘Foo’ should have kind ‘k0’,
      but ‘f’ has kind ‘k1 -> k0’
    In the type signature:
      foo :: a ~ f i => Proxy (Foo f)
    In the class declaration for ‘Foo’