blob: 8822c1ccb22395acccfe9aab008e237bc762f927 (
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
|
FD2.hs:26:34:
Could not deduce (e ~ e1)
from the context (Foldable a)
bound by the class declaration for `Foldable'
at FD2.hs:(17,1)-(26,39)
or from (Elem a e)
bound by the type signature for
foldr1 :: Elem a e => (e -> e -> e) -> a -> e
at FD2.hs:21:13-47
or from (Elem a e1)
bound by the type signature for
mf :: Elem a e1 => e1 -> Maybe e1 -> Maybe e1
at FD2.hs:24:18-54
`e' is a rigid type variable bound by
the type signature for
foldr1 :: Elem a e => (e -> e -> e) -> a -> e
at FD2.hs:21:13
`e1' is a rigid type variable bound by
the type signature for
mf :: Elem a e1 => e1 -> Maybe e1 -> Maybe e1
at FD2.hs:24:18
Relevant bindings include
foldr1 :: (e -> e -> e) -> a -> e (bound at FD2.hs:22:3)
f :: e -> e -> e (bound at FD2.hs:22:10)
mf :: e1 -> Maybe e1 -> Maybe e1 (bound at FD2.hs:25:12)
x :: e1 (bound at FD2.hs:26:15)
y :: e1 (bound at FD2.hs:26:23)
In the return type of a call of `f'
In the first argument of `Just', namely `(f x y)'
In the expression: Just (f x y)
|