blob: 1e17286cff564e0683f544126c673062149bb032 (
plain)
1
2
3
4
5
6
7
8
9
10
|
T16517.hs:5:29: 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
the class declaration for ‘C’
at T16517.hs:5:22-35
• In the first argument of ‘Proxy’, namely ‘(a :: k)’
In the type signature: m :: Proxy (a :: k)
In the class declaration for ‘C’
|