blob: 2aff30e516bdfe0527bd97373c963ef6df6f69dc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
T18640b.hs:14:10: error: [GHC-25897]
• 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’
|