blob: 37f8159ae075b5cba9815fe7078f093f3bf36091 (
plain)
1
2
3
4
5
6
7
|
T16356_Fail2.hs:8:3: error:
• Illegal duplicate variable ‘k’ in:
‘type T @k @k a b = k’
The arguments to ‘T’ must all be distinct type variables
• In the default type instance declaration for ‘T’
In the class declaration for ‘C’
|