blob: d370d9ed05a50a16f3236d5f64defc30b52a0ece (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
T13909.hs:11:18: error:
• Expecting two more arguments to ‘Hm’
Expected kind ‘k’, but ‘Hm’ has kind ‘forall k -> k -> *’
Cannot equate type variable ‘k’
with a kind involving polytypes: forall k1 -> k1 -> *
‘k’ is a rigid type variable bound by
an instance declaration
at T13909.hs:11:10-19
• In the first argument of ‘HasName’, namely ‘Hm’
In the instance declaration for ‘HasName Hm’
|
