blob: 975f5a11d00f4c008b42cc7ac6465d62bf07bac2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
T17841.hs:7:40: error:
• Couldn't match kind ‘k’ with ‘*’
‘k’ is a rigid type variable bound by
the class declaration for ‘Foo’
at T17841.hs:7:17
When matching kinds
k0 :: *
t :: k
Expected kind ‘t’, but ‘a’ has kind ‘k0’
• In the first argument of ‘Proxy’, namely ‘(a :: t)’
In the type signature: foo :: Proxy (a :: t)
In the class declaration for ‘Foo’
|