blob: c71b7727865d8cd052e8ed9f380cb5bed4a275a7 (
plain)
1
2
3
4
5
6
7
8
9
10
|
saks_fail020.hs:9:49: error:
• Expected kind ‘k’, but ‘a’ has kind ‘k0’
because kind variable ‘k’ would escape its scope
This (rigid, skolem) kind variable is bound by
‘forall (k :: Type) -> Proxy (a :: k)’
at saks_fail020.hs:9:20-55
• In the first argument of ‘Proxy’, namely ‘(a :: k)’
In a standalone kind signature for ‘Foo2’:
() -> forall (k :: Type) -> Proxy (a :: k)
|