blob: dab40b1c74e54273d282f741994d99ba9ff3c5ee (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
T9196.hs:4:6: error: [GHC-91510]
• Illegal polymorphic type: forall a1. Eq a1
A constraint must be a monotype
• In the type signature: f :: (forall a. Eq a) => a -> a
Suggested fix: Perhaps you intended to use QuantifiedConstraints
T9196.hs:7:6: error: [GHC-91510]
• Illegal qualified type: Eq a => Ord a
A constraint must be a monotype
• In the type signature: g :: (Eq a => Ord a) => a -> a
Suggested fix: Perhaps you intended to use QuantifiedConstraints
|