testsuite/tests/polykinds/T7328.stderr


1
2
3
4
5
6
7


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