blob: 40e566b3ec517add8a9eb2a0d76b6f12435ae177 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
T12867.hs:7:21: error:
• Expecting one fewer arguments to ‘TestM’
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’
|