blob: e0e0342b617b4b94e8454f4f8bb9b5a2a2acbf1e (
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
Perhaps you intended to use QuantifiedConstraints
• In the context: forall b. Context (Associated a b)
While checking the super-classes of class ‘Class’
In the class declaration for ‘Class’
|