blob: d1fc774db0d452659c243c221b41a5672d54cea9 (
plain)
1
2
3
4
5
6
7
8
9
10
|
T18640c.hs:14:11: error: [GHC-25897]
• Couldn't match kind ‘x’ with ‘*’
Expected kind ‘forall (k1 :: k) -> x’,
but ‘F1’ has kind ‘forall (k1 :: k) -> *’
‘x’ is a rigid type variable bound by
the type synonym declaration for ‘F2’
at T18640c.hs:13:19
• In the type ‘F1’
In the type declaration for ‘F2’
|