blob: f2652fcbbdcf2e2aca8012c4279fe8dab5bdd617 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
T5300.hs:11:7:
Could not deduce (C1 a b c0)
arising from the ambiguity check for ‛f1’
from the context (Monad m, C1 a b c)
bound by the type signature for
f1 :: (Monad m, C1 a b c) => a -> StateT (T b) m a
at T5300.hs:11:7-50
The type variable ‛c0’ is ambiguous
In the ambiguity check for:
forall a b (m :: * -> *) c.
(Monad m, C1 a b c) =>
a -> StateT (T b) m a
In the type signature for ‛f1’:
f1 :: (Monad m, C1 a b c) => a -> StateT (T b) m a
T5300.hs:14:7:
Could not deduce (C1 a1 b1 c10)
arising from the ambiguity check for ‛f2’
from the context (Monad m, C1 a1 b1 c1, C2 a2 b2 c2)
bound by the type signature for
f2 :: (Monad m, C1 a1 b1 c1, C2 a2 b2 c2) =>
a1 -> StateT (T b2) m a2
at T5300.hs:14:7-69
The type variable ‛c10’ is ambiguous
In the ambiguity check for:
forall a1 b2 (m :: * -> *) a2 b1 c1 c2.
(Monad m, C1 a1 b1 c1, C2 a2 b2 c2) =>
a1 -> StateT (T b2) m a2
In the type signature for ‛f2’:
f2 :: (Monad m, C1 a1 b1 c1, C2 a2 b2 c2) =>
a1 -> StateT (T b2) m a2
|