blob: 11243a4322bd619da3cfc2f314ce84ee97a5821b (
plain)
1
2
3
4
5
6
7
8
9
|
T17841.hs:7:45: error:
• Expected a type, but ‘t’ has kind ‘k2’
‘k2’ is a rigid type variable bound by
the class declaration for ‘Foo’
at T17841.hs:7:17
• In the kind ‘t’
In the first argument of ‘Proxy’, namely ‘(a :: t)’
In the type signature: foo :: Proxy (a :: t)
|
