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