blob: c6765a9a69658d3c1fd03b70ccab4747218e187d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
T9196.hs:4:7: error:
• Illegal constraint: forall a. Eq a
• In the type signature:
f :: (forall a. Eq a) => a -> a
T9196.hs:7:7: error:
• Expected a constraint, but ‘Ord a’ has kind ‘*’
• In the type signature:
g :: (Eq a => Ord a) => a -> a
T9196.hs:7:15: error:
• Expected a type, but ‘Ord a’ has kind ‘Constraint’
• In the type signature:
g :: (Eq a => Ord a) => a -> a
|