blob: f843c70929caf7c295fca753249d9ea61914e131 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
T9196.hs:4:6: error:
• Illegal polymorphic type: forall a1. Eq a1
A constraint must be a monotype
• In the type signature:
f :: (forall a. Eq a) => a -> a
T9196.hs:7:6: error:
• Illegal qualified type: Eq a => Ord a
A constraint must be a monotype
• In the type signature:
g :: (Eq a => Ord a) => a -> a
|