blob: 491733c7b992ca5633aaabf79f3b17cecc298fd6 (
plain)
1
2
3
4
5
6
7
8
|
T15859a.hs:19:26: error:
• Expected kind ‘k0’, but ‘A’ has kind ‘forall k -> k -> *’
Cannot instantiate unification variable ‘k0’
with a kind involving polytypes: forall k -> k -> *
• In the first argument of ‘KindOf’, namely ‘A’
In an expression type signature: KindOf A
In the expression: undefined :: KindOf A
|