blob: 54508c07736e0f164c413ca510eee935f6de608c (
plain)
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’
|