blob: 2115e43541938660dca2089b925b53e652c3ba86 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
T12867.hs:7:21: error:
• Expected kind ‘k0 -> *’, but ‘TestM’ has kind ‘*’
• In the first argument of ‘Eq’, namely ‘(TestM a)’
In the type ‘(Eq (TestM a))’
In the type declaration for ‘Test2’
T12867.hs:9:1: error:
• The associated type ‘TestM’
mentions none of the type or kind variables of the class ‘Test a’
• In the class declaration for ‘Test’
|