blob: bffd5693210ee054105f60c85d8c59678fd35f80 (
plain)
1
2
3
4
5
6
7
8
9
|
T18640a.hs:11:1: error: [GHC-25897]
• Couldn't match kind ‘a’ with ‘*’
Expected: forall (b :: k). * -> *
Actual: forall (b :: k). * -> a
‘a’ is a rigid type variable bound by
the type family declaration for ‘F2’
at T18640a.hs:10:19
• In the type family declaration for ‘F2’
|