blob: 501da2090784373f4e6161c474d37bd5f8155b60 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
T12867.hs:8: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:10: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’
|