blob: 15eeb6735ba880ab4be31b12a8c48171ef059c72 (
plain)
1
2
3
4
5
6
7
8
|
T7019a.hs:11:1: error:
• Illegal polymorphic type: forall b. Context (Associated a b)
A constraint must be a monotype
• In the context: forall b. Context (Associated a b)
While checking the super-classes of class ‘Class’
In the class declaration for ‘Class’
Suggested fix: Perhaps you intended to use QuantifiedConstraints
|