blob: d6ca149f23e58e82a37e761d633a31b560d39106 (
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
Perhaps you intended to use QuantifiedConstraints
• 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
Perhaps you intended to use QuantifiedConstraints
• In the type signature: g :: (Eq a => Ord a) => a -> a
|