blob: 198ec75797fef6bf3fc533ed514bbff11521dafd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
T15870.hs:32:34: error:
• Couldn't match kind ‘k’ with ‘*’
When matching kinds
b :: *
a :: k
Expected kind ‘Optic 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’
|