blob: a5df878b2768dd52e0325fa56ab396c5310b3d42 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
T8566.hs:35:9: error: [GHC-39999]
• Could not deduce ‘C ('AA (t (I a ps)) as) ps fs0’
arising from a use of ‘c’
from the context: C ('AA (t (I a ps)) as) ps fs
bound by the instance declaration at T8566.hs:33:10-67
or from: 'AA t (a : as) ~ 'AA t1 as1
bound by a pattern with constructor:
A :: forall {v} (t :: v) (as :: [U (*)]) (r :: [*]).
I ('AA t as) r,
in an equation for ‘c’
at T8566.hs:35:5
The type variable ‘fs0’ is ambiguous
Relevant bindings include
c :: I ('AA t (a : as)) ps -> I ('AA t (a : as)) ps
(bound at T8566.hs:35:3)
• In the expression: c undefined
In an equation for ‘c’: c A = c undefined
In the instance declaration for ‘C ('AA t (a : as)) ps fs’
|
