blob: d642d6201c3c8e8453b497a0248b618eefd9c87c (
plain)
1
2
3
4
5
6
7
8
9
|
TypeSkolEscape.hs:9:52: error:
• Expected kind ‘k0’, but ‘a’ has kind ‘TYPE v’
because kind variable ‘v’ would escape its scope
This (rigid, skolem) kind variable is bound by
an explicit forall (v :: RuntimeRep) (a :: TYPE v)
at TypeSkolEscape.hs:9:12-52
• In the type ‘forall (v :: RuntimeRep) (a :: TYPE v). a’
In the type declaration for ‘Bad’
|