blob: ced646a276084600ba9e70d3b20425e57627264d (
plain)
1
2
3
4
5
6
7
8
9
10
|
T15870.hs:32:34: error: [GHC-25897]
• Couldn't match kind ‘k’ with ‘*’
Expected kind ‘Optic @{k} a’, but ‘g2’ has kind ‘Optic @{*} b’
‘k’ is a rigid type variable bound by
the instance declaration
at T15870.hs:(27,1)-(32,35)
• In the second argument of ‘Get’, namely ‘g2’
In the type ‘Get a g2’
In the type instance declaration for ‘Get’
|