blob: 613435041c6f8ca25d9eb7b59a7af34f18926633 (
plain)
1
2
3
4
5
6
7
|
T18851.hs:35:5: error:
• Couldn't match type ‘B’ with ‘A’
arising from a superclass required to satisfy ‘C int0 A’,
arising from a use of ‘f’
• In the expression: f @A @B
In an equation for ‘g’: g = f @A @B
|