blob: 40fb84d83ad4f37834472c6ab1a291c972a2753c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
T4179.hs:26:16:
Could not deduce (A3 (x (A2 (FCon x) -> A3 (FCon x)))
~ A3 (FCon x))
from the context (Functor x, DoC (FCon x))
bound by the type signature for
fCon :: (Functor x, DoC (FCon x)) =>
Con x -> A2 (FCon x) -> A3 (FCon x)
at T4179.hs:25:9-72
NB: ‘A3’ is a type function, and may not be injective
Expected type: x (A2 (FCon x) -> A3 (FCon x))
-> A2 (FCon x) -> A3 (FCon x)
Actual type: x (A2 (FCon x) -> A3 (FCon x))
-> A2 (x (A2 (FCon x) -> A3 (FCon x)))
-> A3 (x (A2 (FCon x) -> A3 (FCon x)))
Relevant bindings include
fCon :: Con x -> A2 (FCon x) -> A3 (FCon x)
(bound at T4179.hs:26:1)
In the first argument of ‘foldDoC’, namely ‘op’
In the expression: foldDoC op
|