blob: 729008ff3b0b846c06df0cd536c65b4455e32427 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
saks_fail020.hs:9:49: error: [GHC-25897]
• Expected kind ‘k1’, but ‘a’ has kind ‘k’
‘k’ is a rigid type variable bound by
a standalone kind signature for ‘Foo2’
at saks_fail020.hs:9:14-55
‘k1’ is a rigid type variable bound by
an explicit forall (k :: Type)
at saks_fail020.hs:9:28
• In the first argument of ‘Proxy’, namely ‘(a :: k)’
In a standalone kind signature for ‘Foo2’:
() -> forall (k :: Type) -> Proxy (a :: k)
|