Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T7019a.stderr
1
2 T7019a.hs:11:1: error:
3     • Illegal polymorphic type: forall b. Context (Associated a b)
4       A constraint must be a monotype
5     • In the context: forall b. Context (Associated a b)
6       While checking the super-classes of class ‘Class’
7       In the class declaration for ‘Class’