blob: b9e7f2d981e92e64d9f34d721a15627a2fc37c1e (
plain)
1
2
3
4
5
6
7
8
|
T16474.hs:6:1:
Quantified predicate must have a class or type variable head:
forall a. A t a => A t [a]
In the quantified constraint ‘forall a. A t a => A t [a]’
In the context: forall a. A t a => A t [a]
While checking the super-classes of class ‘B’
In the class declaration for ‘B’
|
