blob: a6969971abec09a3291f2ca0c252b0e7914ae477 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
T5951.hs:8:8: error:
• Expecting one more argument to ‘A’
Expected a constraint, but ‘A’ has kind ‘* -> Constraint’
• In the instance declaration for ‘B => C’
T5951.hs:8:8: error:
• Instance head is not headed by a class: C
• In the instance declaration for ‘B => C’
T5951.hs:9:8: error:
• Expecting one more argument to ‘B’
Expected a constraint, but ‘B’ has kind ‘* -> Constraint’
• In the instance declaration for ‘B => C’
T5951.hs:10:8: error:
• Expecting one more argument to ‘C’
Expected a constraint, but ‘C’ has kind ‘* -> Constraint’
• In the instance declaration for ‘B => C’
|