blob: 2a84295a73a5484727d811ed6051627ce0e93cd3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
T18640b.hs:14:10: error:
• Couldn't match kind ‘k’ with ‘a’
Expected kind ‘forall b -> a’, but ‘F1’ has kind ‘forall k -> k’
‘k’ is a rigid type variable bound by
the type k
at T18640b.hs:14:3-11
‘a’ is a rigid type variable bound by
a family instance declaration
at T18640b.hs:14:6
• In the type ‘F1’
In the type family declaration for ‘F3’
|